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]
Autor:  Santos, Vanda

Resultados 1-2 de 2.

Data de publicaçãoTítuloAutor(es)TipoAcesso
18-Fev-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