Navegando por Assunto Raciocínio automatizado
Mostrando resultados 1 a 3 de 3
| Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 5-Out-2023 | 21-Jul-2023 | Implementação da combinação de métodos de prova automática de teoremas para lógicas modais | Macêdo, Karen Lima | Nalon, Cláudia | - |
| 6-Out-2023 | 25-Jul-2023 | Lidando com a legibilidade de provas em Isabelle | Rodrigues, Rafael Monteiro | Nalon, Cláudia | - |
| 5-Out-2023 | 16-Fev-2023 | Preprocessamento de cláusulas para raciocínio local e global no KSP | Melo, João Victor Cabral de | Nalon, Cláudia | - |