Rezultati

eNauka >  Results >  Formalizing Analytic Geometries
Naziv: Formalizing Analytic Geometries
Autori: Marić, Filip  ; Petrović, Danijela  
Godina: 2012
Publikacija: Conference Automated Deduction in Geometry 2012 -
Izdavač: University of Edinburgh, UK., Velika Britanija
Tip rezultata: Konferencijski rad
Kolacija: str. 1-15
URI: https://enauka.gov.rs/handle/123456789/462197
URL: http://dream.inf.ed.ac.uk/events/adg2012/
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

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.