- DocumentAula Sobre Provas Indutivas Em Haskelltéléversé parTharcio Thalles
- DocumentExplicacao sobre o sistema fuzzy.pdftéléversé parTharcio Thalles
- Documentpaulo blath linguagens formais e automatos.pdftéléversé parTharcio Thalles
- Documentlivro prolog Ed 3.pdftéléversé parTharcio Thalles
- DocumentUML_UNICAMP.pdftéléversé parTharcio Thalles
- Documentapostila_USP_PADRÕES_DE_SOFTWARE.pdftéléversé parTharcio Thalles
- DocumentTeorema da incompletude de Godeltéléversé parTharcio Thalles