Browsing Математички факултет by Subject "асистент за доказивање теорема"
Now showing items 1-1 of 1
-
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема / Formalization of various geometry models and applications in verification of automated theorem provers
(Универзитет у Београду, Математички факултет, 08-08-2017)