Библиография Лаврова И.А.
Новости
28 Октября, 2025
Конкурс на замещение должности
23 Октября, 2025
Конкурс на замещение должности
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
Поиск
Ohashi K. ...
Ohashi K. [1970] On a question of G. E. Sacks J. Symbolic Logic, 35, № 1, 46-50 71.04.49 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Ohashi K. ...
Ohashi K. [1964] A strong form of a theorem of Friedberg Notre Dame J. Formal Logic, 5, № 1, 10-12 67.04.58 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Ohashi K. ...
Ohashi K. [1964] Enumeration of some classes of recursively enumerable sets Z. math. Logik und Grundl. Math., 10, № 1, 1-6 65.02.129 E article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на O
O Oberschelp A. Odifreddi P.G. Odintsov S. P. Ogiwara M. Ohashi K. Omanadze R. Sh. Orlicki A. Ouspenski V.A. Owings J.C. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.