Rezultati

eNauka >  Rezultati >  Learning strategies for mechanised building of decision procedures
Naziv: Learning strategies for mechanised building of decision procedures
Autori: Jamnik, M.; Janičić, Predrag  
Godina: 2003
Publikacija: Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661 Pretraži identifikator
Izdavač: Elsevier
Tip rezultata: Naučni članak
Kolacija: vol. 86 br. 1 str. 174-189
DOI: 10.1016/S1571-0661(04)80662-5
Scopus-ID: 2-s2.0-18944387924
URI: https://enauka.gov.rs/handle/123456789/870104
URL: http://www.scopus.com/inward/record.url?eid=2-s2.0-18944387924&partnerID=MN8TOARS
Izvor metapodataka: (Preuzeto iz ORCID-a) Janičić, Predrag
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

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.