Библиография Лаврова И.А.
Новости
05 Февраля, 2026
Конкурс на замещение должности
04 Февраля, 2026
Сергею Петровичу Прохорову 80 лет
18 Декабря, 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
Поиск
Авторы на C
C Calhoun W. Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland N. J. Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
ChenKeh Hsun ...
Chen Keh Hsun [1978] Recursive well-founded orderings Ann. Math. Logic, 13, № 2, 117-147 78.09.61 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.