Библиография Лаврова И.А.
Новости
20 Мая, 2026
Итоги конкурса на замещение вакантных должностей
29 Апреля, 2026
Итоги конкурса на замещение вакантных должностей
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Поиск
Baurle F.A., Remmel J.B.
Bäurle F.A., Remmel J.B. [1994] On speedable and levelable vector spaces Ann. Pure Appl. Logic, 67, № 1-3, 61-112 94.12.41 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на B
B Badaev S. Bailey C.G. Baker T.P. Baleva V. Baratella S. Barback J. Barendregt H. Barmpalias G. Barwise J. Basu S. Baterman P.T. Baurle F.A. Batyrshin I.I. Becker H. Behman H. Beigel R.J. Belyaev V. N. Bennison V.L. Bentzien L. Bereznyuk S. Bergstra J. A. BermanL BermanP Bernardi C. Bernays P. Berry J. Bianchini C. Bickford M. Binns S. Blacino L. Blair H. A. Blaylock R. Blum M. Bojkova ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.