- Григорьев, Михаил Викторович. Математическое моделирование верификации процесса разработки программного обеспечения: автореф. дис. ... канд. техн. наук: 05.13.18 / М. В. Григорьев; науч. рук. А. Г. Ивашко; Тюм. гос. ун-т , каф. информ. систем. — Тюмень, 2009. — Свободный доступ из сети Интернет (чтение). — <URL:https://library.utmn.ru/dl/abstract/05.13.18/1987.pdf>.
- Григорьев, Андрей Викторович. Математические методы и алгоритмы определения согласованности баз знаний: автореф. дис. ... канд. физ.-мат. наук: 05.13.18: защищена 20.12.2013 / А. В. Григорьев; науч. рук. А. Г. Ивашко; Тюм. гос. ун-т. — Тюмень, 2013. — 22 с. — Свободный доступ из сети Интернет (чтение). — Электрон. версия печ. публикации. — <URL:https://library.utmn.ru/dl/abstract/05.13.18/1987.pdf>.
Utmn
|
||
|
|
|
|
/dl/abstract/05.13.18/1987.pdf |