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