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