Quaresma, Pedro
Claim profile
![](/image/cris/bar-loader.gif)
Name
Quaresma, Pedro
Variants
Quaresma, Pedro
Ciência ID
Status
UC Researcher
![](/image/cris/bar-loader.gif)
Publications
(All)
Fulltext
Results 1-2 of 2 (Search time: 0.002 seconds).
Issue Date | Title | Author(s) | Type | Access | |
---|---|---|---|---|---|
1 | 8-Feb-2022 | Four Geometry Problems to Introduce Automated Deduction in Secondary Schools | Quaresma, Pedro ; Santos, Vanda | article | openAccess |
2 | 10-Mar-2023 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Teles, Joana ; Santos, Vanda ; Quaresma, Pedro | article | openAccess |