- DokumenRules for Signed Analytic Tableaux for Classical Propositional Logicdiunggah olehAdolfo Neto
- DokumenManual Do Atleta K21 Curitiba Half Adventure Marathondiunggah olehAdolfo Neto
- DokumenSalaMundo 2011diunggah olehAdolfo Neto
- DokumenDiálogo no Twittersrun sobre Corrida Descalçadiunggah olehAdolfo Neto
- DokumenEDITAL 06 - MONITORIA - 2º semestre 2012diunggah olehAdolfo Neto
- DokumenComunicado 004/2012 - Atualização da Classificação de Conferênciasdiunggah olehAdolfo Neto
- DokumenAnais do Workshop Brasileiro de Métodos Ágeis - Agile Brazil 2010diunggah olehAdolfo Neto
- DokumenRegulamento da Meia Maratona Noturna de Curitiba 2012diunggah olehAdolfo Neto
- Dokumen6 Motivos Para Manter a Grevediunggah olehAdolfo Neto
- DokumenBeg Python Hand Outdiunggah olehAdolfo Neto
- DokumenMe to Dosage is Para in Ici Antesdiunggah olehAdolfo Neto
- DokumenModifications on the implementation of a framework for tableaux methodsdiunggah olehAdolfo Neto
- DokumenHorário 2011-1diunggah olehAdolfo Neto
- DokumenFluxograma para a Resolução de Tablôs Analíticosdiunggah olehAdolfo Neto
- DokumenExercícios Resolvidos de Representação de Conhecimentodiunggah olehAdolfo Neto
- DokumenProjeto BSIdiunggah olehAdolfo Neto
- DokumenDiscurso2010-2-final-RaulWeber-INF-UFRGSdiunggah olehAdolfo Neto
- DokumenTemplate da SBC para Artigosdiunggah olehAdolfo Neto
- DokumenProva Final de Lógica para Computação aplicada em 15/12/2010diunggah olehAdolfo Neto
- DokumenProva3_BC_S71_07-12-2010diunggah olehAdolfo Neto
- DokumenProva 3 de Lógica para Computação aplicada em 03-12-2010 (modelo B)diunggah olehAdolfo Neto
- DokumenGabarito Parcial da Prova 3 de 03-12-2010diunggah olehAdolfo Neto
- DokumenProva 3 de Lógica para Computação aplicada em 03/12/2010 (modelo A)diunggah olehAdolfo Neto
- DokumenProva 2 de Lógica para Computação, aplicada em 15/11/2010diunggah olehAdolfo Neto
- DokumenProva 2 de Lógica para Computação, aplicada em 17/11/2010diunggah olehAdolfo Neto
- DokumenA Multi-Strategy Theorem Proverdiunggah olehAdolfo Neto
- DokumenUma linguagem de especificação formal simplificadadiunggah olehAdolfo Neto