Demostración Automática De Teoremas » dbpedia-owl:wikiPageExternalLink

dbpedia-owl:wikiPageExternalLink
<http://comet.lehman.cuny.edu/fitting/> <http://mcs.open.ac.uk/pp2464/alligator/> <http://metaprl.org/> <http://spass.mpi-sb.mpg.de/> <http://www.acumenbusiness.com/Components/ComponentsDetail.htm#verification-validation> <http://www.ags.uni-sb.de/~chris/leo> <http://www.cis.upenn.edu/~jean/gbooks/logic.html> <http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html> <http://www.cs.man.ac.uk/~voronkov/> <http://www.cs.miami.edu/~tptp/CASC> <http://www.cs.miami.edu/~tptp/CASC/> <http://www.cs.ubc.ca/~babic/index_spear.htm> <http://www.freewebs.com/riazanov/> <http://www.idsia.ch/~juergen/goedelmachine.html> <http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/kiv/> <http://www.irit.fr/ACTIVITES/LILaC/Lotrec/> <http://www.lemma-one.com/ProofPower/index/index.html> <http://www.manchester.ac.uk/> <http://www.prover.com/products/prover_plugin/> <http://www.ub-net.de/cms/proverbox.html> <http://www.waldmeister.org/>