Gluz, João Carlos
-
Anais dos Workshops do CBIE 2013 - Mostra de Práticas de Informática na Educação - Trilha 1: Mostra de Software
Sistema Heráclito: Objeto de Aprendizagem para o Ensino da Dedução Natural na Lógica Proposicional
Resumo PDF
ISSN: 2316-8889