Резултати
еНаука >
Резултати >
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема
| Назив: | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Остали називи: | Formalization of various geometry models and applications in verification of automated theorem provers | Аутори: | Simić, Danijela | Ментор: | Marić, Filip   |
Остала ауторства: | Janičić, Predrag ; Vukmirović, Srđan; Maksimović, Petar |
Година: | 2017 | Публикација: | Универзитет у Београду | Издавач: | Универзитет у Београду, Математички факултет | Тип резултата: | Докторска дисертација | 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 |
М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM