Библиография Лаврова И.А.
Новости
05 Февраля, 2026
Конкурс на замещение должности
04 Февраля, 2026
Сергею Петровичу Прохорову 80 лет
18 Декабря, 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сийской академии наук / Библиография Лаврова И.А.