Rezultati

eNauka >  Results >  Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
Title: Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
Authors: Stojanović Đurđević, Sana  
Issue Date: 2013
Publication: 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 Search Idenfier
Publisher: Springer
Type: Conference Paper
ISBN: 978-3-642-40671-3 Search Idenfier
Collation: 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
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

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.