Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Голунков Ю.В., Савельев А.А. [1984] Об алгоритмической полноте некоторых систем функций и предикатов Вероят. методы и кибернетика, Казань, Из-во КГУ, № 20, 49-55, 84.09.36 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Голунков Ю.В., Савельев А.А. [1984] О решетке систем алгоритмических алгебр частично рекурсивных функций и предикатов Изв. Вузов. Мат., № 11, 57-59 85.05.66 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Голунков Ю.В., Савельев А.А. [1987] О системах алгоритмических алгебр, сохраняющих идеалы в решетке рекурсивно перечислимых множеств Вероят. методы и кибернетика, Казань, Из-во КГУ, № 23, 58-81 88.06.62 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.