Резултати
Назив: | Automated Reasoning: Some Successes and New Challenges | Аутори: | Janičić, Predrag | Година: | 2011 | Публикација: | 22nd Central European Conference on Information and Intelligent Systems | ISSN: | 1847-2001 Претражи идентификатор | Издавач: | University of Zagreb, Faculty of Organization and Informatics, Varaždin, Croatia, Hrvatska | Тип резултата: | Конференцијски рад | Колација: | 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 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.