Mathema: A Learning Environment Based on a Multi-Agent Architecture.
Lecture Notes in Computer Science
Edilson Ferneda
Evandro Barros de Costa
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
jXChat - Um Sistema de Comunicação Eletrônica Inteligente para apoio a Educação a Distância
Sistema para a Aprendizagem de Demonstrações da Geometria Euclidiana Plana - LEEG
Um Sistema de Aprendizagem de Demonstrações da Geometria Euclidiana Plana - LEEG