Baeta, Nuno
Claim profile
Loading...
2
0
20
0
false
Name
Baeta, Nuno
Variants
Baeta, Nuno
Ciência ID
Status
UC Researcher
Loading...
3
0
20
0
false
Publications
(All)
Fulltext
Results 1-2 of 2 (Search time: 0.004 seconds).
| Issue Date | Title | Author(s) | Type | Access | |
|---|---|---|---|---|---|
| 1 | 3-Jan-2022 | Open Geometry Prover Community Project | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |
| 2 | 28-Feb-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |