Automatic verification of regular constructions in dynamic geometry systems

Janicic, Predrag; Quaresma, Pedro

Rezultati

eNauka > Rezultati > Automatic verification of regular constructions in dynamic geometry systems

Naziv:	Automatic verification of regular constructions in dynamic geometry systems
Autori:	Janicic, Predrag ; Quaresma, Pedro
Godina:	2007
Publikacija:	Automated Deduction in Geometry
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Tip rezultata:	Konferencijski rad
Kolacija:	vol. 4869 str. 39-51
DOI:	10.1007/978-3-540-77356-6_3
WoS-ID:	000252576400003
Scopus-ID:	2-s2.0-38549169438
URI:	https://enauka.gov.rs/handle/123456789/798835
Izvor metapodataka:	(Preuzeto iz Nasi u WoS)
M-kategorija:	Mp kategorija će biti prikazana naknadno.

14
SCOPUS^TM

13
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Unpaywall

Google Scholar^TM

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