- DocumentoAula Sobre Provas Indutivas Em Haskellenviado porTharcio Thalles
- DocumentoExplicacao sobre o sistema fuzzy.pdfenviado porTharcio Thalles
- Documentopaulo blath linguagens formais e automatos.pdfenviado porTharcio Thalles
- Documentolivro prolog Ed 3.pdfenviado porTharcio Thalles
- DocumentoUML_UNICAMP.pdfenviado porTharcio Thalles
- Documentoapostila_USP_PADRÕES_DE_SOFTWARE.pdfenviado porTharcio Thalles
- DocumentoTeorema da incompletude de Godelenviado porTharcio Thalles