Browsing by Author Almeida, Pedro Henrique e Figueiredo Quaresma de
Results 2 to 3 of 3
previous
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 22-Jul-2022 | Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria) | Teixeira, Pedro Alexandre Pereira | masterThesis | openAccess |
| 21-Feb-2024 | Working Environment for Automated Deduction in Geometry | Baeta, Nuno Miguel dos Santos | doctoralThesis | openAccess |