Резултати

eNauka >  Rezultati >  A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
Naziv: A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
Autori: Stojanović Đurđević, Sana  ; Marinković, Vesna  ; Janičić, Predrag  
Godina: 2011
Publikacija: Automated Deduction in Geometry, Lecture Notes in Computer Science
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: str. 201-220
DOI: 10.1007/978-3-642-25070-5_12
WoS-ID: 000306300700012
Scopus-ID: 2-s2.0-81755161382
URI: https://enauka.gov.rs/handle/123456789/414970
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

20
SCOPUSTM
16
OpenCitations
16
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.