Quaresma, Pedro
Claim profile
Loading...
2
0
20
0
false
Name
Quaresma, Pedro
Variants
Quaresma, Pedro
Ciência ID
Status
UC Researcher
Loading...
3
0
20
0
false
Publications
(All)
Subject
- 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
- 1 Computer Science - Computers and Society
- next >
Fulltext
Results 1-4 of 4 (Search time: 0.004 seconds).
| Issue Date | Title | Author(s) | Type | Access | |
|---|---|---|---|---|---|
| 1 | 8-Feb-2022 | Four Geometry Problems to Introduce Automated Deduction in Secondary Schools | Quaresma, Pedro ; Santos, Vanda | article | openAccess |
| 2 | 3-Jan-2022 | Open Geometry Prover Community Project | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |
| 3 | 10-Mar-2023 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Teles, Joana ; Santos, Vanda ; Quaresma, Pedro | article | openAccess |
| 4 | 28-Feb-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |