About: Demostración automática de teoremas

La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving) que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.

Property	Value
dbo:abstract	La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving) que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador. (es) La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving) que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador. (es)
dbo:wikiPageExternalLink	http://comet.lehman.cuny.edu/fitting/ http://mcs.open.ac.uk/pp2464/alligator/ http://metaprl.org/ http://www.ags.uni-sb.de/~chris/leo http://www.cis.upenn.edu/~jean/gbooks/logic.html http://www.cs.man.ac.uk/~voronkov/ http://www.cs.ubc.ca/~babic/index_spear.htm http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/kiv/ 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/ http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html http://www.freewebs.com/riazanov/ http://www.idsia.ch/~juergen/goedelmachine.html https://web.archive.org/web/20080612103458/http:/spass.mpi-sb.mpg.de/ https://web.archive.org/web/20081006142033/http:/www.acumenbusiness.com/Components/ComponentsDetail.htm%23verification-validation https://web.archive.org/web/20061207044650/http:/www.cs.miami.edu/~tptp/CASC/ https://web.archive.org/web/20081126113058/http:/www.irit.fr/ACTIVITES/LILaC/Lotrec/ https://web.archive.org/web/20090302112038/http:/www.cs.miami.edu/~tptp/CASC/
dbo:wikiPageID	1550641 (xsd:integer)
dbo:wikiPageLength	14924 (xsd:integer)
dbo:wikiPageRevisionID	125263230 (xsd:integer)
prop-es:apellidos	Wos (es) Duffy (es) Loveland (es) Fitting (es) Gallier (es) Wos (es) Duffy (es) Loveland (es) Fitting (es) Gallier (es)
prop-es:autor	Boyle, Jim (es) Chin-Liang Chang (es) Lusk, Ewing (es) Overbeek, Ross (es) Richard Char-Tung Lee (es) Boyle, Jim (es) Chin-Liang Chang (es) Lusk, Ewing (es) Overbeek, Ross (es) Richard Char-Tung Lee (es)
prop-es:año	1973 (xsd:integer) 1978 (xsd:integer) 1986 (xsd:integer) 1991 (xsd:integer) 1992 (xsd:integer) 1996 (xsd:integer) 2001 (xsd:integer)
prop-es:edición	2 (xsd:integer)
prop-es:editor	Alan Robinson and Andrei Voronkov (es) Alan Robinson and Andrei Voronkov (es)
prop-es:editorial	dbpedia-es:Academic_Press dbpedia-es:McGraw-Hill dbpedia-es:Springer_Science+Business_Media dbpedia-es:John_Wiley_&_Sons dbpedia-es:Harper_&_Row_Publishers dbpedia-es:North-Holland_Publishing Elsevier and MIT Press (es)
prop-es:nombre	Larry (es) Melvin (es) Donald W. (es) Jean H. (es) David A. (es) Larry (es) Melvin (es) Donald W. (es) Jean H. (es) David A. (es)
prop-es:título	Logic for Computer Science: Foundations of Automatic Theorem Proving (es) Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science Volume 6 (es) Automated Reasoning: Introduction and Applications (es) First-Order Logic and Automated Theorem Proving (es) Handbook of Automated Reasoning Volume I & II (es) Principles of Automated Theorem Proving (es) Symbolic Logic and Mechanical Theorem Proving (es) Logic for Computer Science: Foundations of Automatic Theorem Proving (es) Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science Volume 6 (es) Automated Reasoning: Introduction and Applications (es) First-Order Logic and Automated Theorem Proving (es) Handbook of Automated Reasoning Volume I & II (es) Principles of Automated Theorem Proving (es) Symbolic Logic and Mechanical Theorem Proving (es)
prop-es:url	http://comet.lehman.cuny.edu/fitting/ http://www.cis.upenn.edu/~jean/gbooks/logic.html
dct:subject	category-es:Aprendizaje_automático category-es:Demostradores_de_teoremas category-es:Métodos_formales
rdfs:comment	La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving) que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador. (es) La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving) que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador. (es)
rdfs:label	Demostración automática de teoremas (es) Demostración automática de teoremas (es)
owl:sameAs	freebase:Demostración automática de teoremas
prov:wasDerivedFrom	wikipedia-es:Demostración_automática_de_teoremas?oldid=125263230&ns=0
foaf:isPrimaryTopicOf	wikipedia-es:Demostración_automática_de_teoremas
is dbo:wikiPageRedirects of	dbpedia-es:Deduccion_automatizada dbpedia-es:Deducción_automatizada dbpedia-es:Demostracion_automatica dbpedia-es:Demostracion_automatica_de_teoremas dbpedia-es:Demostracion_automática dbpedia-es:Demostracion_automática_de_teoremas dbpedia-es:Demostración_automatica dbpedia-es:Demostración_automatica_de_teoremas dbpedia-es:Demostración_automática
is owl:sameAs of	dbr:Demostración automática de teoremas
is foaf:primaryTopic of	wikipedia-es:Demostración_automática_de_teoremas