Sistema Heráclito: Suporte a Objetos de Aprendizagem Interativos e Dialéticos Voltados ao Ensino de Dedução Natural na Lógica Proposicional
Suporte Técnico/Pedagógico aos OAs pelos AVAs: uma Análise Comparativa das Pesquisas Recentes
SBIE 2011.
SBIE 2011. - Artigos
João Carlos Gluz
Cristiano Galafassi
Objetos de Aprendizagem Móveis para Ensino de Dedução Natural na Lógica Proposicional