Библиография Лаврова И.А.
Новости
28 Октября, 2025
Конкурс на замещение должности
23 Октября, 2025
Конкурс на замещение должности
17 Октября, 2025
Конкурс на замещение должности
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Авторы на Р
Р Ремесленников В.Н. РобинсонА РобинсонДж. РобинсонРМ Рогожин Ю.В. Роджерс Х. Розинас М.Г. Ромина А. В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
РобинсонДж ...
Робинсон Дж. [1973] Аксиомы для теоретико числовых функций Избранные вопросы алгебры и логики, Сб., посвященный памяти А.И.Мальцева (Ширшов А.И. и др. ред.), Наука, Новосибирск, 253-263 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Матиясевич Ю.В., РобинсонДж ...
Матиясевич Ю.В., Робинсон Дж. [1974] Два универсальных трехкванторных представления перечислимых множеств Сб. Теория алгорифмов и матем. логика, М., ВЦ АН СССР, 112-123 73.10.81 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.