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