Results
| Title: | Formalizing Analytic Geometries | Authors: | Marić, Filip   ; Petrović, Danijela |
Issue Date: | 2012 | Publication: | Conference Automated Deduction in Geometry 2012 - | Publisher: | University of Edinburgh, UK., Velika Britanija | Type: | Conference Paper | Collation: | str. 1-15 | URI: | https://enauka.gov.rs/handle/123456789/462197 | URL: | http://dream.inf.ed.ac.uk/events/adg2012/ | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.