Преобразования доказательств и синтез программ
Минц, Григорий Ефроимович, 1988, докторская диссертация
- 01.01.06 Математическая логика, алгебра и теория чисел
- 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Таллин
181 стр.
Другие работы по этой специальности
- Конечные минимальные не lg-группы
Ходалевич, Александр Дмитриевич · Канд. наук
- Классы конечных групп с формационными подгруппами
Ергалиева, Кулара Онгаровна · Канд. наук
- Мажоризации матриц и их эндоморфизмы : диссертация ... кандидата физико-математических наук : 1.1.5. (01.01.06)
Штейнер, Павел Михайлович · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»
- Бесконечные группы с заданным способом вложения конечных подгрупп
Шлепкин, Алексей Анатольевич · 2022 · Докт. наук · ФГБУН Институт математики и механики им. Н.Н. Красовского Уральского отделения Российской академии наук
- Спектральные свойства, алгебраические конструкции и характеризации графов Деза
Шалагинов, Леонид Викторович · 2022 · Докт. наук · ФГБУН Институт математики и механики им. Н.Н. Красовского Уральского отделения Российской академии наук