Библиография Лаврова И.А.
Новости
18 Апреля, 2025
ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Kalantari I., WelchL ...
Kalantari I., Welch L. [2004] A blend of methods of recursion theory and topology: A Π 1 0 tree of shadow points Arch. Math. Logik Grundl., 43, № 8, 991–1008 07.01.83 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на W
W WagnerEG WagnerK Wagner.KW Wainer S.S. Wald K. Walk S. WangHao WangJ Watanabe O. Watnick R. Watson P. WeberF Weber.FP WeberR Wechsung G. Wehner S. Weihrauch K. Weitkamp G. WelchL Welch.LV WelchPD Weyuker E. White W. Wiehagen R. Winklmann K. Woodin H.W. Woods A.R. Wrathall C. Wright J. B. Wu G. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.