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/2672
DC FieldValueLanguage
dc.contributor.authorStojanović-Djurdjević. Sanaen_US
dc.date.accessioned2025-09-30T08:27:08Z-
dc.date.available2025-09-30T08:27:08Z-
dc.date.issued2013-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/2672-
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.titlePreprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofsen_US
dc.typeArticleen_US
dc.relation.conferenceInternational Workshop Automated Deduction in Geometry ADG (9 ; 2012 ; Edinburgh)en_US
dc.relation.publication9th International Workshop Automated Deduction in Geometry ADG 2012, Edinburghen_US
dc.identifier.doi10.1007/978-3-642-40672-0_12-
dc.identifier.urlhttp://dx.doi.org/10.1007/978-3-642-40672-0_12-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.isbn978-3-642-40671-3en_US
dc.description.rankM33en_US
dc.relation.firstpage181en_US
dc.relation.lastpage192en_US
item.languageiso639-1en-
item.cerifentitytypePublications-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0002-5386-9100-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

1
checked on Sep 30, 2025

Google ScholarTM

Check

Altmetric

Altmetric


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