Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Душский В.А. [1969] Продолжение частично рекурсивных функций и функций с рекурсивным графиком Мат. заметки, 5, № 2, 261-267 69.08.78 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Душский В.А. [1969] О нумерационной сводимости перечислимых классов Тр. I конф. спец. ВЦ АН АрмССР и ЕрГУ, 3, 127-133 ? E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Душский В.А. [1970] О рекурсивной эквивалентности перечислимых классов Труды Моск. ин-та электр. машиностр., 5, 3-19 70.08.54 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Душский В.А. [1984] Об алгоритмических отображениях классов множеств Сб. Вопросы мат. логики и ее применения, М., 7-14. 85.08.61 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Душский В.А. [1970] О сложности строения классов рекурсивных множеств, Труды Моск. ин-та электр. машиностр., 5, 20-33 70.08.56 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Душский В.А. [1974] Нумерационная сводимость перечислимых классов множеств Z. Math. Logik und Grundl. Math., 20, № 1, 19-30 75.02.101 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Душский В.А. [1975] О невозможности эффективного перечисления всех формализаций понятия алгоритма Труды Моск. ин-та электр. машиностр., 53, 3-8 76.09.78 E статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Д Дворников С.Г. Дегтев А.Н. Денисов С.Д. Джеффри Р. Дзгоев В.Д. Дичев А. Добрица В.П. Доуни Р. Драгалин А.Г. Дроботун Б.Н. Дурнев В.Г. Душский В.А. Дымент Е.З. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.