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/502
DC FieldValueLanguage
dc.contributor.authorJaničić, Predragen_US
dc.contributor.authorQuaresma, Pedroen_US
dc.date.accessioned2022-08-13T10:14:41Z-
dc.date.available2022-08-13T10:14:41Z-
dc.date.issued2006-01-01-
dc.identifier.isbn3540371877-
dc.identifier.issn03029743en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/502-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_US
dc.titleSystem description: GCLCprover + GeoThmsen_US
dc.typeConference Objecten_US
dc.relation.publicationInternational Joint Conference on Automated Reasoning IJCAR 2006en_US
dc.identifier.doi10.1007/11814771_13-
dc.identifier.scopus2-s2.0-33749564740-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/33749564740-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM33en_US
dc.relation.firstpage145en_US
dc.relation.lastpage150en_US
dc.relation.volume4130 LNAIen_US
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairetypeConference Object-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-8922-4948-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

28
checked on Feb 8, 2026

Page view(s)

10
checked on Jan 19, 2025

Google ScholarTM

Check

Altmetric

Altmetric


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