People
Tomas Recio
Email
Conference Articles
2019
(1 publication) - Davenport, J. and Fleuriot, j. and Quaresma, P. and Recio, T. and Wang, D. , "Intelligent GeometryTools", in Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE2019), 2019