Новости
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
Поиск
Казанович Ю. Б. ...
Казанович Ю. Б. [1970] Классификация примитивно рекурсивных функций при помощи машин Тьюринга Проблемы кибернетики, 22, М., Наука, 95-106 70.07.81 O статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на К
К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.