Espere um momento... 2 0 20 0 false
 
Name
Quaresma, Pedro
 
Variants
Quaresma, Pedro
 
 
Ciência ID
 
Status
UC Researcher
Espere um momento... 3 0 20 0 false

Publications
(Todas)

Refinado por:
Data de publicação:  [2000 TO 2024]
Data de publicação:  [2020 TO 2024]

Resultados 1-4 de 4.

Data de publicaçãoTítuloAutor(es)TipoAcesso
18-Fev-2022Four Geometry Problems to Introduce Automated Deduction in Secondary SchoolsQuaresma, Pedro ; Santos, VandaarticleopenAccess
23-Jan-2022Open Geometry Prover Community ProjectBaeta, Nuno ; Quaresma, Pedro articleopenAccess
310-Mar-2023A Rule Based Theorem Prover: an Introduction to Proofs in Secondary SchoolsTeles, Joana ; Santos, Vanda ; Quaresma, Pedro articleopenAccess
428-Fev-2020Towards a Geometry Automated Provers CompetitionBaeta, Nuno ; Quaresma, Pedro ; Kovács, ZoltánarticleopenAccess