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