Резултати
| Назив: | Формализација и аутоматско доказивање теорема еуклидске геометрије | Остали називи: | Formalization and automation of Euclidean geometry | Аутори: | Stojanović, Sana | Ментор: | Janičić, Predrag   |
Остала ауторства: | Лучић, Зоран; Марић, Филип ; Борисављевић, Мирјана; Narbu, Žilijen |
Година: | 2016 | Публикација: | Универзитет у Београду | Издавач: | Универзитет у Београду, Математички факултет | Тип резултата: | Докторска дисертација | VBS COBISS: | 48817679 | URI: | http://eteze.bg.ac.rs/application/showtheses?thesesId=4836 https://nardus.mpn.gov.rs/handle/123456789/7972 https://fedorabg.bg.ac.rs/fedora/get/o:15164/bdef:Content/download https://enauka.gov.rs/handle/123456789/559860 |
М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM