Summary: É uma inteface gráfica de um sistema tutor inteligente para o ensino-aprendizagem de conceitos visuais, que permita ao usuário uma definição abstrata de dados e que gere automaticamente sua representação em lógica de predicados.

Starting date: 01/01/1996
Deadline (months): 24

Participants:

Role	Name
Coordinator *	DAVIDSON CURY