Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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сийской академии наук / Библиография Лаврова И.А.