Новости
14 Августа, 2025
Конкурс на замещение должности
03 Июля, 2025
Конкурс на замещение должности
20 Июня, 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сийской академии наук / Библиография Лаврова И.А.