- DokumentRules for Signed Analytic Tableaux for Classical Propositional Logichochgeladen vonAdolfo Neto
- DokumentManual Do Atleta K21 Curitiba Half Adventure Marathonhochgeladen vonAdolfo Neto
- DokumentSalaMundo 2011hochgeladen vonAdolfo Neto
- DokumentDiálogo no Twittersrun sobre Corrida Descalçahochgeladen vonAdolfo Neto
- DokumentEDITAL 06 - MONITORIA - 2º semestre 2012hochgeladen vonAdolfo Neto
- DokumentComunicado 004/2012 - Atualização da Classificação de Conferênciashochgeladen vonAdolfo Neto
- DokumentAnais do Workshop Brasileiro de Métodos Ágeis - Agile Brazil 2010hochgeladen vonAdolfo Neto
- DokumentRegulamento da Meia Maratona Noturna de Curitiba 2012hochgeladen vonAdolfo Neto
- Dokument6 Motivos Para Manter a Grevehochgeladen vonAdolfo Neto
- DokumentBeg Python Hand Outhochgeladen vonAdolfo Neto
- DokumentMe to Dosage is Para in Ici Anteshochgeladen vonAdolfo Neto
- DokumentModifications on the implementation of a framework for tableaux methodshochgeladen vonAdolfo Neto
- DokumentHorário 2011-1hochgeladen vonAdolfo Neto
- DokumentFluxograma para a Resolução de Tablôs Analíticoshochgeladen vonAdolfo Neto
- DokumentExercícios Resolvidos de Representação de Conhecimentohochgeladen vonAdolfo Neto
- DokumentProjeto BSIhochgeladen vonAdolfo Neto
- DokumentDiscurso2010-2-final-RaulWeber-INF-UFRGShochgeladen vonAdolfo Neto
- DokumentTemplate da SBC para Artigoshochgeladen vonAdolfo Neto
- DokumentProva Final de Lógica para Computação aplicada em 15/12/2010hochgeladen vonAdolfo Neto
- DokumentProva3_BC_S71_07-12-2010hochgeladen vonAdolfo Neto
- DokumentProva 3 de Lógica para Computação aplicada em 03-12-2010 (modelo B)hochgeladen vonAdolfo Neto
- DokumentGabarito Parcial da Prova 3 de 03-12-2010hochgeladen vonAdolfo Neto
- DokumentProva 3 de Lógica para Computação aplicada em 03/12/2010 (modelo A)hochgeladen vonAdolfo Neto
- DokumentProva 2 de Lógica para Computação, aplicada em 15/11/2010hochgeladen vonAdolfo Neto
- DokumentProva 2 de Lógica para Computação, aplicada em 17/11/2010hochgeladen vonAdolfo Neto
- DokumentA Multi-Strategy Theorem Proverhochgeladen vonAdolfo Neto
- DokumentUma linguagem de especificação formal simplificadahochgeladen vonAdolfo Neto