Baeta, Nuno
Claim profile
![](/image/cris/bar-loader.gif)
Name
Baeta, Nuno
Variants
Baeta, Nuno
Ciência ID
Status
UC Researcher
![](/image/cris/bar-loader.gif)
Publications
(All)
Results 1-1 of 1 (Search time: 0.001 seconds).
Issue Date | Title | Author(s) | Type | Access | |
---|---|---|---|---|---|
1 | 1-Apr-2019 | Towards Ranking Geometric Automated Theorem Provers | Baeta, Nuno ; Quaresma, Pedro | article | openAccess |