Quaresma, Pedro

Network Lab View Statistics Email Alert RSS Feed
 Claim profile

Profile

Loading... 2 0 20 0 false
 
Name
Quaresma, Pedro
 
Variants
Quaresma, Pedro
 
ORCID
 
Ciência ID
 
Status
UC Researcher
Loading... 3 0 20 0 false

Publications
(All)

Refined By:
Date Issued:  [2000 TO 2024]
Date Issued:  [2020 TO 2024]
Date Issued:  2022

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
23-Jan-2022Open Geometry Prover Community ProjectBaeta, Nuno ; Quaresma, Pedro articleopenAccess