Мордвинов Д. А. Дмитрий Александрович & Кознов Д. В. Дмитрий Владимирович. (2020). Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11. Томск, [Б. и.], 2020.
Chicago Style aipamenaМордвинов Д. А. Дмитрий Александрович and Кознов Д. В. Дмитрий Владимирович. Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11. Томск, [Б. и.], 2020, 2020.
MLA aipamenaМордвинов Д. А. Дмитрий Александрович and Кознов Д. В. Дмитрий Владимирович. Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11. Томск, [Б. и.], 2020, 2020.