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 |
||||||||||||
| Colaborador(es): |
EDWARD HERMANN HAEUSLER - Orientador |
||||||||||||
| Catalogação: | 20/SET/2023 | Língua(s): | PORTUGUÊS - BRASIL |
||||||||||
| Tipo: | TEXTO | Subtipo: | TRABALHO DE FIM DE CURSO | ||||||||||
| Notas: |
[pt] Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio. [en] All data contained in the documents are the sole responsibility of the authors. The data used in the descriptions of the documents are in conformity with the systems of the administration of PUC-Rio. |
||||||||||||
| Referência(s): |
[pt] https://www.maxwell.vrac.puc-rio.br/projetosEspeciais/TFCs/consultas/conteudo.php?strSecao=resultado&nrSeq=64040@1 |
||||||||||||
| DOI: | https://doi.org/10.17771/PUCRio.acad.64040 | ||||||||||||
| Resumo: | |||||||||||||
|
Esse documento serve como um estudo sobre redução de provas através
de algoritmos relacionados à Compressão Horizontal, contento implementações das regras de colisões entre vértices redundantes em uma demonstração proveniente de Dedução Natural.
|
|||||||||||||
|
|||||||||||||