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