Browsing by Author Almeida, Pedro Henrique e Figueiredo Quaresma de
Results 2 to 2 of 2
previous
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 21-Feb-2024 | Working Environment for Automated Deduction in Geometry | Baeta, Nuno Miguel dos Santos | doctoralThesis | openAccess |