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)
Assunto
- 1 Alberti
- 1 Computer Science - Artificial Intelligence
- 1 Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3
- 1 Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; I.2; I.2.3
- 1 Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Performance; F.4.1; I.2.3
- próximo >
Data de Publicação
Tipo
Texto completo
Resultados 1-9 de 9.
| Data de publicação | Título | Autor(es) | Tipo | Acesso | |
|---|---|---|---|---|---|
| 1 | 2014 | De re aedificatoria column systematization shape grammar | Quaresma, Pedro Filipe Coutinho ; Krüger, Mário ; Duarte, José P. | article | openAccess |
| 2 | 5-Mar-2018 | Exchange of Geometric Information Between Applications | Quaresma, Pedro ; Santos, Vanda ; Baeta, Nuno | article | openAccess |
| 3 | 8-Fev-2022 | Four Geometry Problems to Introduce Automated Deduction in Secondary Schools | Quaresma, Pedro ; Santos, Vanda | article | openAccess |
| 4 | 12-Dez-2014 | Gramatica da Forma da Sistematização da Coluna de Alberti | Quaresma, Pedro Filipe Coutinho Cabral d'Oliveira | doctoralThesis | openAccess |
| 5 | 3-Jan-2022 | Open Geometry Prover Community Project | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |
| 6 | 2019 | Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements | Davenport, James; Fleuriot, Jacques; Quaresma, Pedro ; Recio, Tomás; Wang, Dongming | article | openAccess |
| 7 | 10-Mar-2023 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Teles, Joana ; Santos, Vanda ; Quaresma, Pedro | article | openAccess |
| 8 | 28-Fev-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |
| 9 | 1-Abr-2019 | Towards Ranking Geometric Automated Theorem Provers | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |