a caminho da classificacao (mecanizada) do monstro... http://research.microsoft.com/en-us/news/features/gonthierproof-101112.aspx
-- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
