Rezultati

eNauka >  Rezultati >  Integrating dynamic geometry software, deduction systems, and theorem repositories
Naziv: Integrating dynamic geometry software, deduction systems, and theorem repositories
Autori: Quaresma, Pedro; Janicic, Predrag  
Godina: 2006
Publikacija: Lecture Notes in Computer Science, Mathematical Knowledge Management, Proceedings
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Izdavač: Springer
Tip rezultata: Naučni članak
Kolacija: vol. 4108 str. 280-294
DOI: 10.1007/11812289_22
WoS-ID: 000239954600021
Scopus-ID: 2-s2.0-33749546527
VBS COBISS: 1026506933
URI: https://enauka.gov.rs/handle/123456789/818947
https://plus.cobiss.net/cobiss/sr/sr/bib/1026506933#izum.si
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
23M23 - Međunarodni časopis kategorije M23

10
SCOPUSTM
10
OpenCitations
7
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

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