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
Serial title, monograph or event: Electronic Proceedings in Theoretical Computer Science, EPTCS
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

Google ScholarTM

Check

Altmetric

Altmetric


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