Project title
UID/CEC/00326/2020

Publications
(All)



Refined By:
Date Issued:  [2020 TO 2023]
Date Issued:  2022
Author:  Quaresma, Pedro
Subject:  Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3

Results 1-1 of 1 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)TypeAccess
18-Feb-2022Four Geometry Problems to Introduce Automated Deduction in Secondary SchoolsQuaresma, Pedro ; Santos, VandaarticleopenAccess