RTI - 2011-2012 - Plano anual de aplicação da parcela institucional da reserva téc...
Avanços e novas perspectivas em revisão de crenças paraconsistente
LOGPROB: lógica probabilística - fundamentos e aplicações computacionais
Aspectos lógicos e computacionais do método de demonstrações via polinômios formais
Verdade e paradoxo: consequências do paradoxo do mentiroso para teorias formais da...
Efeito do desenvolvimento puberal na autorregulação do comportamento e suas relaçõ...