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