Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Соар Р. [2000] Вычислимо перечислимые множества и степени Казань, Казанское матем. общество (Перевод книги Soare R.I. “Recursively enumerable sets and degrees”, 1987.) ? книга ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... вычислимость" (русский вариант); E – Ершов Ю.Л. "Теория нумераций"; O – Odifreddi P. “Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II”; S – Соар Р.И. "Вычислимо перечислимые множества и степени" (русский вариант); G – Гончаров С.С., Ершов Ю.Л. "Конструктивные модели". 3. Желающий ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.