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