Новости
22 Сентября, 2025
Уведомление об изменении Соглашения о формировании Консорциума участников по поддержке Технологического центра исследования безопасности ядра Linux
19 Сентября, 2025
XV Международная конференция по компьютерным наукам и информационным технологиям — CSIT 2025
14 Августа, 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
Поиск
Калверт У.,Камминс Д. ,Найт Дж. Ф.,Миллер С. ...
Калверт У., Камминс Д. , Найт Дж. Ф., Миллер С. [2004] Сравнение классов конечных структур Алгебра и логика, 43, № 6, 666-701 05.12.69 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на К
К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев Н.Т. Козмидиади В.А. ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.