A versão do ambiente de suporte ao aluno voltada
para o ensino-aprendizagem de Tableaux (Tablôs)
está, a partir de hoje, disponível gratuitamente em:
www.asacalcpro.com.br
Esta versão será enriquecida brevemente com mais
uma opção de tableaux: Tableaux KE.
Lembro que ela foi implementada para o Windows.
Pretendemos apresentar a primeira versão Linux
desta ferramenta até o início de 2009.
Nicoladelli
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
