- DocumentoRules for Signed Analytic Tableaux for Classical Propositional Logiccargado porAdolfo Neto
- DocumentoManual Do Atleta K21 Curitiba Half Adventure Marathoncargado porAdolfo Neto
- DocumentoSalaMundo 2011cargado porAdolfo Neto
- DocumentoDiálogo no Twittersrun sobre Corrida Descalçacargado porAdolfo Neto
- DocumentoEDITAL 06 - MONITORIA - 2º semestre 2012cargado porAdolfo Neto
- DocumentoComunicado 004/2012 - Atualização da Classificação de Conferênciascargado porAdolfo Neto
- DocumentoAnais do Workshop Brasileiro de Métodos Ágeis - Agile Brazil 2010cargado porAdolfo Neto
- DocumentoRegulamento da Meia Maratona Noturna de Curitiba 2012cargado porAdolfo Neto
- Documento6 Motivos Para Manter a Grevecargado porAdolfo Neto
- DocumentoBeg Python Hand Outcargado porAdolfo Neto
- DocumentoMe to Dosage is Para in Ici Antescargado porAdolfo Neto
- DocumentoModifications on the implementation of a framework for tableaux methodscargado porAdolfo Neto
- DocumentoHorário 2011-1cargado porAdolfo Neto
- DocumentoFluxograma para a Resolução de Tablôs Analíticoscargado porAdolfo Neto
- DocumentoExercícios Resolvidos de Representação de Conhecimentocargado porAdolfo Neto
- DocumentoProjeto BSIcargado porAdolfo Neto
- DocumentoDiscurso2010-2-final-RaulWeber-INF-UFRGScargado porAdolfo Neto
- DocumentoTemplate da SBC para Artigoscargado porAdolfo Neto
- DocumentoProva Final de Lógica para Computação aplicada em 15/12/2010cargado porAdolfo Neto
- DocumentoProva3_BC_S71_07-12-2010cargado porAdolfo Neto
- DocumentoProva 3 de Lógica para Computação aplicada em 03-12-2010 (modelo B)cargado porAdolfo Neto
- DocumentoGabarito Parcial da Prova 3 de 03-12-2010cargado porAdolfo Neto
- DocumentoProva 3 de Lógica para Computação aplicada em 03/12/2010 (modelo A)cargado porAdolfo Neto
- DocumentoProva 2 de Lógica para Computação, aplicada em 15/11/2010cargado porAdolfo Neto
- DocumentoProva 2 de Lógica para Computação, aplicada em 17/11/2010cargado porAdolfo Neto
- DocumentoA Multi-Strategy Theorem Provercargado porAdolfo Neto
- DocumentoUma linguagem de especificação formal simplificadacargado porAdolfo Neto