[obm-l] provadores de teoremas

Mon, 05 Nov 2007 18:42:47 -0800 

Olá amigos !!!
   
  Alguem de voçes conhece um bom provador de teoremas "Freeware" que rode no 
windows ?
   
  Por favor me mandem o link
   
  Obrigado :)

       Abra sua conta no Yahoo! Mail, o único sem limite de espaço para 
armazenamento!

Responder a