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