Rezultati

eNauka >  Rezultati >  Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Naziv: Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Autori: Ðurđević, Sana Stojanović  ; Narboux, Julien; Janičić, Predrag  
Godina: 2015
Publikacija: Annals of Mathematics and Artificial Intelligence
ISSN: 1012-2443 Annals of Mathematics and Artificial Intelligence Pretraži identifikator
Izdavač: Springer
Tip rezultata: Naučni članak
Kolacija: vol. 74 br. 3-4 str. 249-269
DOI: 10.1007/s10472-014-9443-5
WoS-ID: 000357420500001
Scopus-ID: 2-s2.0-84943199139
URI: https://enauka.gov.rs/handle/123456789/545905
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

9
SCOPUSTM
8
OpenCitations
12
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.