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)
Type
Fulltext
Results 1-6 of 6 (Search time: 0.101 seconds).
Issue Date | Title | Author(s) | Type | Access | |
---|---|---|---|---|---|
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 | 12-Dec-2014 | Gramatica da Forma da Sistematização da Coluna de Alberti | Quaresma, Pedro Filipe Coutinho Cabral d'Oliveira | doctoralThesis | openAccess |
4 | 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 |
5 | 28-Feb-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |
6 | 1-Apr-2019 | Towards Ranking Geometric Automated Theorem Provers | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |