Библиография Лаврова И.А.
Новости
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
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
Поиск
Cooper S.B., Truss J.K.
Cooper S.B., Truss J.K.(eds) [1999] Models and computability J. London Math. Soc., 259 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Morozov A.S., Truss J. K.
Morozov A.S., Truss J. K. [2001] On computable automorphisms of the rational numbers J. Symbolic Logic, 66, № 3, 1458-1470 02.11.157 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на T
T Takeuti G. Talasbaeva Z.T. Tanaka H. Tarski A. Tennenbaum S. Terwijn S.A. Thomason S.K. Thompson S. Thuraisingham M.B. Thurber J. J. Titgemeyer D. Tompa M. Torenvliet L. Trachtenbrot B.A. Trotter W. Truss J.K. Tucker J. V. Turing A.M. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.