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/1542
DC FieldValueLanguage
dc.contributor.authorMarinković, Vesnaen_US
dc.contributor.authorNikolić, Mladenen_US
dc.contributor.authorZoltan Kovacsen_US
dc.contributor.authorJaničić, Predragen_US
dc.date.accessioned2025-02-25T15:36:25Z-
dc.date.available2025-02-25T15:36:25Z-
dc.date.issued2016-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/1542-
dc.language.isoenen_US
dc.publisherHall Open Science, University of Strasbourgen_US
dc.titlePortfolio Methods in Theorem Proving for Elementary Geometryen_US
dc.typeConference Objecten_US
dc.relation.conferenceInternational Workshop on Automated Deduction in Geometry ADG 2016(11 ; 2016 ; Strasbourg)en_US
dc.relation.publication11th International Workshop on Automated Deduction in Geometry ADG 2016 : Proceedingsen_US
dc.identifier.urlhttps://inria.hal.science/hal-01334334-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM33en_US
dc.relation.firstpage152en_US
dc.relation.lastpage161en_US
item.openairetypeConference Object-
item.fulltextNo Fulltext-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.languageiso639-1en-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000−0003−0526−899X-
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.