Sistema Heráclito: Objeto de Aprendizagem para o Ensino da Dedução Natural na Lógica Proposicional
Análise Crítica das Pesquisas Recentes sobre as Tecnologias de Objetos de Aprendizagem e Ambientes Virtuais de Aprendizagem
CBIE 2013 - Mostra de Práticas de Informática na Educação - Trilha 1: Mostra de Software
CBIE 2013
RBIE - Volume 21
João Carlos Gluz
Cristiano Galafassi
Lucas dos S. Gomes
Marcel Mossmann
Heráclito: Objetos de Aprendizagem Interativos e Dialéticos Voltados ao Ensino de Lógica Proposicional
OBAAMILOS