Заключение о диссертации Дмитрия Александровича Мордвинова
Диссертация Дмитрия Александровича Мордвинова ?Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с?ограничениями? рекомендуется к?защите на?соискание ученой степени кандидата физико-математических наук по?специальности 05.13.11?— Математическое и?программное обеспечение вычислительных машин, комплексов и?компьютерных сетей.