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