Rezultati

eNauka >  Rezultati >  Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
Naziv: Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
Autori: Stojanović Đurđević, Sana  
Godina: 2013
Publikacija: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry ADG 2012
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Izdavač: Springer
Tip rezultata: Konferencijski rad
ISBN: 978-3-642-40671-3 Pretraži identifikator
Kolacija: str. 181-192
DOI: 10.1007/978-3-642-40672-0_12
WoS-ID: 000345004100012
Scopus-ID: 2-s2.0-84885237097
URI: https://enauka.gov.rs/handle/123456789/380129
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

1
SCOPUSTM
1
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.