UID/CEC/00326/2020

View Statistics Email Alert RSS Feed

Primary Data

Project title
UID/CEC/00326/2020

Publications
(All)

Refined By:
Date Issued:  [2020 TO 2023]
Author:  Quaresma, Pedro

Results 1-2 of 2 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)TypeAccess
18-Feb-2022Four Geometry Problems to Introduce Automated Deduction in Secondary SchoolsQuaresma, Pedro ; Santos, VandaarticleopenAccess
210-Mar-2023A Rule Based Theorem Prover: an Introduction to Proofs in Secondary SchoolsTeles, Joana ; Santos, Vanda ; Quaresma, Pedro articleopenAccess