Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/101631
DC FieldValueLanguage
dc.contributor.authorDavenport, James-
dc.contributor.authorFleuriot, Jacques-
dc.contributor.authorQuaresma, Pedro-
dc.contributor.authorRecio, Tomás-
dc.contributor.authorWang, Dongming-
dc.date.accessioned2022-09-05T10:56:36Z-
dc.date.available2022-09-05T10:56:36Z-
dc.date.issued2019-
dc.identifier.issn2075-2180-
dc.identifier.urihttps://hdl.handle.net/10316/101631-
dc.language.isoengpt
dc.rightsopenAccesspt
dc.titleProceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievementspt
dc.title.alternativeIntelligent geometry toolspt
dc.typearticlept
degois.publication.firstPage51pt
degois.publication.lastPage52pt
degois.publication.titleElectronic Proceedings in Theoretical Computer Science, EPTCSpt
dc.peerreviewedyespt
dc.identifier.doi10.4204/EPTCS.311.8-
degois.publication.volume311pt
dc.date.embargo2019-01-01*
uc.date.periodoEmbargo0pt
item.languageiso639-1en-
item.cerifentitytypePublications-
item.grantfulltextopen-
item.fulltextCom Texto completo-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypearticle-
crisitem.author.orcid0000-0001-7728-4935-
Appears in Collections:FCTUC Matemática - Vários
Files in This Item:
File Description SizeFormat
EPTCS 311_ Automated Reasoning_ Challen...ns, Directions, Exemplary Achievements.pdf611.83 kBAdobe PDFView/Open
Show simple item record

Page view(s)

30
checked on Nov 28, 2023

Download(s)

31
checked on Nov 28, 2023

Google ScholarTM

Check

Altmetric

Altmetric


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