Olá. Alguém do grupo utiliza ou sabe me dizer sobre a existência de provadores automáticos de teoremas, mas na versão para web, ou seja, cujo acesso seja através da internet?
Desde já agradeço. -- Att. Aracele Garcia de Oliveira Fassbinder _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
