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)
Results 1-1 of 1 (Search time: 0.002 seconds).
Issue Date | Title | Author(s) | Type | Access | |
---|---|---|---|---|---|
1 | 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 |