Quaresma, Pedro
Criar perfil
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)
Texto completo
Resultados 1-2 de 2.
| Data de publicação | Título | Autor(es) | Tipo | Acesso | |
|---|---|---|---|---|---|
| 1 | 8-Fev-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 |