TRABALHOS DE FIM DE CURSO @PUC-Rio
| Título: | PROJETO DE IMPLEMENTAÇÃO E PROTOTIPAGEM DE REGRAS DE MANIPULAÇÃO DE PROVAS EM DEDUÇÃO NATURAL | ||
| Autor(es): |
RAFAEL ARAUJO SERPA |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Curso: | CURSO DE GRADUAÇÃO EM ENGENHARIA DE COMPUTAÇÃO | ||
| Título: | BACHAREL EM ENGENHARIA DA COMPUTAÇÃO | ||
| Área: | ENGENHARIA DE COMPUTAÇÃO | ||
| Vocabulário: | COMPRESSAO DE PROVA COMPRESSAO HORIZONTAL DEDUCAO NATURAL LOGICA MINIMAL PROJETO GRADUACAO TEORIA DA PROVA |
||
| Oferta Ano: | 2023-1 | ||