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