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

Page view(s)

101
checked on Sep 25, 2024

Download(s)

101
checked on Sep 25, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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