Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
---|---|---|---|---|---|
20-aoû-2024 | 30-mar-2023 | Sistemas formais como formalizações de conceitos : da desinterpretação aos resultados limitativos | Maia, Mateus de Carvalho | Freire, Rodrigo de Alvarenga | - |