1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/2815
DC FieldValueLanguage
dc.contributor.authorJaničić, Predragen_US
dc.date.accessioned2025-10-28T13:08:16Z-
dc.date.available2025-10-28T13:08:16Z-
dc.date.issued2011-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/2815-
dc.description.abstractIn this paper a brief account of the area of automated reasoning (or, rather, of some of its subareas) is given. Some historical remarks are given along with overview of some of the most significant results and current challenges. The paper has a somewhat personal perspective, reflecting research interests of the author.en_US
dc.language.isoenen_US
dc.publisherVaraždin : Faculty of Organization and Informaticsen_US
dc.subjectAutomated reasoningen_US
dc.subjectAutomated theorem provingen_US
dc.subjectSATen_US
dc.subjectSMTen_US
dc.subjectInteractive theorem provingen_US
dc.titleAutomated Reasoning: Some Successes and New Challengesen_US
dc.typeConference Objecten_US
dc.relation.conferenceCentral European Conference on Information and Intelligent Systems (22 ; 2011 ; Varaždin)en_US
dc.relation.publicationProceedings of the 22nd Central European Conference on Information and Intelligent Systemsen_US
dc.identifier.urlhttp://archive.ceciis.foi.hr/app/index.php/ceciis/index/pages/view/ProceedingsArchive2011-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM31en_US
dc.relation.firstpage13en_US
dc.relation.lastpage22en_US
item.openairetypeConference Object-
item.fulltextNo Fulltext-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-8922-4948-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check


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