Navegando por Autor Paula, Hugo Carvalho de
Mostrando resultados 1 a 1 de 1
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 2018 | Matemática feita no computador: estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistentes de prova | Paula, Hugo Carvalho de | Dissertação |