Percorrer por autor Baeta, Nuno Miguel dos Santos
Mostrar resultados 1-1 de 1.
| Data de publicação | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 21-Fev-2024 | Working Environment for Automated Deduction in Geometry | Baeta, Nuno Miguel dos Santos | doctoralThesis | openAccess |