Библиография Лаврова И.А.
Новости
18 Апреля, 2025
ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Dańko W. ...
Dańko W. [1980] A criterion of undecidability of algorithmic theories Lect. Notes in Comp. Sci., 88, 205-218, Springer -Verlag 81.B7.764 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на D
D Daley R.P. Dańko W. Davey K. Davis M. Dawes A.M. Degtev A.N. Dekker J.C.E. Demuth O. Dennis-Jones E.G. Di Paola R.A. Dietzfelbinger M. Ding Decheng Ditchev A.V. Dobrinen N. Dobritsa V. P. Doner J. Dougherty R. Downey R. Dreben B. Driscoll G. C. Jr. Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.