Rezultati

еНаука >  Резултати >  Formalizing Analytic Geometries
Назив: Formalizing Analytic Geometries
Аутори: Marić, Filip  ; Petrović, Danijela  
Година: 2012
Публикација: Conference Automated Deduction in Geometry 2012 -
Издавач: University of Edinburgh, UK., Velika Britanija
Тип резултата: Конференцијски рад
Колација: str. 1-15
URI: https://enauka.gov.rs/handle/123456789/462197
URL: http://dream.inf.ed.ac.uk/events/adg2012/
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

Pronađi DOI

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.