Pregled Математички факултет po temi "аксиоматски систем Тарског"
Prikaz rezultata 1-1 od 1
-
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема / Formalization of various geometry models and applications in verification of automated theorem provers
(Универзитет у Београду, Математички факултет, 08-08-2017)