Olá,
Por acaso alguem conhece packages para trabalhar com logica (e.g. construir provas, theorem proving, etc...) no software Mathematica ( <http://reference.wolfram.com/mathematica/guide/Mathematica.html> http://reference.wolfram.com/mathematica/guide/Mathematica.html)? Eu conheco só o Theorema ( <http://www.risc.uni-linz.ac.at/research/theorema/description/> http://www.risc.uni-linz.ac.at/research/theorema/description/) ... Há mais algum? Até... Bruno -------------------------------- Bruno Woltzenlogel Paleo Website: <http://www.logic.at/people/bruno/> http://www.logic.at/people/bruno/
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
