UID/CEC/00326/2020

View Statistics Email Alert RSS Feed

Primary Data

Project title
UID/CEC/00326/2020

Publications
(All)

Refined By:
Fulltext:  Com Texto completo
Author:  Quaresma, Pedro

Results 1-2 of 2 (Search time: 0.002 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