Results

eNauka >  Results >  Automated Reasoning: Some Successes and New Challenges
Title: Automated Reasoning: Some Successes and New Challenges
Authors: Janičić, Predrag  
Issue Date: 2011
Publication: 22nd Central European Conference on Information and Intelligent Systems
ISSN: 1847-2001 Search Idenfier
Publisher: University of Zagreb, Faculty of Organization and Informatics, Varaždin, Croatia, Hrvatska
Type: Conference Paper
Collation: 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
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.