Библиография Лаврова И.А.
Новости
02 Марта, 2026
Конкурс на замещение должности
22 Февраля, 2026
Защита диссертаций
05 Февраля, 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
Поиск
Пальчунов Д.Е. ...
Пальчунов Д.Е. [1986] О неразрешимости теорий булевых алгебр с выделенными идеалами Алгебра и логика, 25, № 3, 326-346 87.04.321 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на П
П Павлова Е.А. Павловский Е.Н. Пальчунов Д.Е. Палютин Е.А. Пензин Ю.Г. Перетятькин М.Г. Перов А.Е. Петер Р. Петрова К.В. Пинус А.Г. Платонов М.А. Плясунов С.Ю. Подзоров С.Ю. Поляков Е.А. Посицельский ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.