Rezultati
eNauka >
Rezultati >
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема
Naziv: | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Ostali nazivi: | Formalization of various geometry models and applications in verification of automated theorem provers | Autori: | Simić, Danijela | Mentor: | Marić, Filip ![]() ![]() |
Ostala autorstva: | Janičić, Predrag ![]() ![]() |
Godina: | 2017 | Publikacija: | Универзитет у Београду | Izdavač: | Универзитет у Београду, Математички факултет | Tip rezultata: | Doktorska disertacija | VBS COBISS: | 50179599 | URI: | http://eteze.bg.ac.rs/application/showtheses?thesesId=5895 https://nardus.mpn.gov.rs/handle/123456789/9628 https://fedorabg.bg.ac.rs/fedora/get/o:17885/bdef:Content/download https://enauka.gov.rs/handle/123456789/195355 |
M-kategorija: | 70M70 - Odbranjena doktorska disertacija |