Caricamenti by Adolfo Neto

Rules for Signed Analytic Tableaux for Classical Propositional Logic

Manual Do Atleta K21 Curitiba Half Adventure Marathon

SalaMundo 2011

Diálogo no Twittersrun sobre Corrida Descalça

EDITAL 06 - MONITORIA - 2º semestre 2012

Comunicado 004/2012 - Atualização da Classificação de Conferências

Anais do Workshop Brasileiro de Métodos Ágeis - Agile Brazil 2010

Regulamento da Meia Maratona Noturna de Curitiba 2012

6 Motivos Para Manter a Greve

Beg Python Hand Out

Me to Dosage is Para in Ici Antes

Modifications on the implementation of a framework for tableaux methods

Horário 2011-1

Fluxograma para a Resolução de Tablôs Analíticos

Exercícios Resolvidos de Representação de Conhecimento

Projeto BSI

Discurso2010-2-final-RaulWeber-INF-UFRGS

Template da SBC para Artigos

Prova Final de Lógica para Computação aplicada em 15/12/2010

Prova3_BC_S71_07-12-2010

Prova 3 de Lógica para Computação aplicada em 03-12-2010 (modelo B)

Gabarito Parcial da Prova 3 de 03-12-2010

Prova 3 de Lógica para Computação aplicada em 03/12/2010 (modelo A)

Prova 2 de Lógica para Computação, aplicada em 15/11/2010

Prova 2 de Lógica para Computação, aplicada em 17/11/2010

A Multi-Strategy Theorem Prover

Uma linguagem de especificação formal simplificada