Results
eNauka >
Results >
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема
| Title: | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Other Titles: | Formalization of various geometry models and applications in verification of automated theorem provers | Authors: | Simić, Danijela | Supervisor: | Marić, Filip   |
Other contributors: | Janičić, Predrag ; Vukmirović, Srđan; Maksimović, Petar |
Issue Date: | 2017 | Publication: | Универзитет у Београду | Publisher: | Универзитет у Београду, Математички факултет | Type: | Doctoral theses | 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-category: | 70M70 |
Google ScholarTM