Rezultati

eNauka >  Results >  Automatic verification of regular constructions in dynamic geometry systems
Title: Automatic verification of regular constructions in dynamic geometry systems
Authors: Janicic, Predrag  ; Quaresma, Pedro
Issue Date: 2007
Publication: Automated Deduction in Geometry
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier
Type: Conference Paper
Collation: 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
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
Mp. category will be shown later

15
SCOPUSTM
14
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

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