Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/101631
Title: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Other Titles: Intelligent geometry tools
Authors: Davenport, James
Fleuriot, Jacques
Quaresma, Pedro 
Recio, Tomás
Wang, Dongming
Issue Date: 2019
metadata.degois.publication.title: Electronic Proceedings in Theoretical Computer Science, EPTCS
metadata.degois.publication.volume: 311
URI: https://hdl.handle.net/10316/101631
ISSN: 2075-2180
DOI: 10.4204/EPTCS.311.8
Rights: openAccess
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 full item record

Page view(s)

112
checked on Oct 30, 2024

Download(s)

108
checked on Oct 30, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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