Automated Reasoning: Some Successes and New Challenges

Janičić, Predrag

Rezultati

eNauka > Rezultati > Automated Reasoning: Some Successes and New Challenges

Naziv:	Automated Reasoning: Some Successes and New Challenges
Autori:	Janičić, Predrag
Godina:	2011
Publikacija:	22nd Central European Conference on Information and Intelligent Systems
ISSN:	1847-2001 Pretraži identifikator
Izdavač:	University of Zagreb, Faculty of Organization and Informatics, Varaždin, Croatia, Hrvatska
Tip rezultata:	Konferencijski rad
Kolacija:	vol. 1 br. 1 str. 13-22
URI:	https://enauka.gov.rs/handle/123456789/137147
URL:	http://archive.ceciis.foi.hr/app/index.php/ceciis/index/pages/view/ProceedingsArchive2011
Izvor metapodataka:	Migrirano iz RIS podataka
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Google Scholar^TM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.