Библиография Лаврова И.А.
Новости
21 Октября, 2026
От фундаментальной математики до искусственного интеллекта: в Москве пройдёт ежегодная Открытая конференция ИСП РАН
17 Октября, 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
Поиск
MacintyreA , Marker D. ...
Macintyre A. , Marker D. [1984] Degrees of recursively saturated models Trans. Amer. Math. Soc., 282, № 2, 539-554. 85.01.141 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на M
M Maass W. Mac Queen D. Machover M. Machtey M. MacintyreA MacIntyreJM Madan D.B. Mahaney S.R. Mahn F.K. Maier W. Mainhardt G. Maksimova L. L. Malcev A.I. Manasse M. Manaster A. B. Marandzjan G. B. Marcone A. Marker D. Marques I. MartinDA MartinG Matiyasevich Yu.V. Mayoh B.H. McCarthyC McCarthyJ McCoy ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.