Galafassi, Fabiane Penteado, Universidade Federal do Pampa, Brasil
-
Anais dos Workshops do CBIE 2015 - Apps.Edu - Protótipo
Editor de provas do Sistema Heráclito: Ferramenta de apoio ao Ensino da Dedução Natural na Lógica Proposicional
Resumo PDF
ISSN: 2316-8889