- DocumentRules for Signed Analytic Tableaux for Classical Propositional Logicîncărcat deAdolfo Neto
- DocumentManual Do Atleta K21 Curitiba Half Adventure Marathonîncărcat deAdolfo Neto
- DocumentSalaMundo 2011încărcat deAdolfo Neto
- DocumentDiálogo no Twittersrun sobre Corrida Descalçaîncărcat deAdolfo Neto
- DocumentEDITAL 06 - MONITORIA - 2º semestre 2012încărcat deAdolfo Neto
- DocumentComunicado 004/2012 - Atualização da Classificação de Conferênciasîncărcat deAdolfo Neto
- DocumentAnais do Workshop Brasileiro de Métodos Ágeis - Agile Brazil 2010încărcat deAdolfo Neto
- DocumentRegulamento da Meia Maratona Noturna de Curitiba 2012încărcat deAdolfo Neto
- Document6 Motivos Para Manter a Greveîncărcat deAdolfo Neto
- DocumentBeg Python Hand Outîncărcat deAdolfo Neto
- DocumentMe to Dosage is Para in Ici Antesîncărcat deAdolfo Neto
- DocumentModifications on the implementation of a framework for tableaux methodsîncărcat deAdolfo Neto
- DocumentHorário 2011-1încărcat deAdolfo Neto
- DocumentFluxograma para a Resolução de Tablôs Analíticosîncărcat deAdolfo Neto
- DocumentExercícios Resolvidos de Representação de Conhecimentoîncărcat deAdolfo Neto
- DocumentProjeto BSIîncărcat deAdolfo Neto
- DocumentDiscurso2010-2-final-RaulWeber-INF-UFRGSîncărcat deAdolfo Neto
- DocumentTemplate da SBC para Artigosîncărcat deAdolfo Neto
- DocumentProva Final de Lógica para Computação aplicada em 15/12/2010încărcat deAdolfo Neto
- DocumentProva3_BC_S71_07-12-2010încărcat deAdolfo Neto
- DocumentProva 3 de Lógica para Computação aplicada em 03-12-2010 (modelo B)încărcat deAdolfo Neto
- DocumentGabarito Parcial da Prova 3 de 03-12-2010încărcat deAdolfo Neto
- DocumentProva 3 de Lógica para Computação aplicada em 03/12/2010 (modelo A)încărcat deAdolfo Neto
- DocumentProva 2 de Lógica para Computação, aplicada em 15/11/2010încărcat deAdolfo Neto
- DocumentProva 2 de Lógica para Computação, aplicada em 17/11/2010încărcat deAdolfo Neto
- DocumentA Multi-Strategy Theorem Proverîncărcat deAdolfo Neto
- DocumentUma linguagem de especificação formal simplificadaîncărcat deAdolfo Neto