Demostración Automática De Teoremas

La demostración automática de teoremas 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.

Apellidos	Duffy (es) Fitting (es) Gallier (es) Loveland (es) Wos (es)
Autor	Chin-Liang Chang (es)
Año	1973 (xsd:integer) 1978 (xsd:integer) 1986 (xsd:integer) 1991 (xsd:integer) 1992 (xsd:integer) 1996 (xsd:integer) 2001 (xsd:integer)
Coautores	Overbeek, Ross; Lusk, Ewing; Boyle, Jim (es) Richard Char-Tung Lee (es)
rdfs:comment	La demostración automática de teoremas 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)
foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Agda_proof.jpg>
Edición	2 (xsd:integer)
Editor	Alan Robinson and Andrei Voronkov (es)
Editorial	Elsevier and MIT Press (es) dbpedia-latam:Academic_Press dbpedia-latam:Harper_&_Row_Publishers dbpedia-latam:John_Wiley_&_Sons dbpedia-latam:McGraw-Hill dbpedia-latam:North-Holland_Publishing dbpedia-latam:Springer_Science+Business_Media
foaf:isPrimaryTopicOf	wiki-latam:Demostración_automática_de_teoremas
rdfs:label	Demostración automática de teoremas (es)
Nombre	David A. (es) Donald W. (es) Jean H. (es) Larry (es) Melvin (es)
Is foaf:primaryTopic of	wiki-latam:Demostración_automática_de_teoremas
dcterms:subject	dbpedia-latam:Categoría:Aprendizaje_automático dbpedia-latam:Categoría:Demostradores_de_teoremas dbpedia-latam:Categoría:Métodos_formales
dbpedia-owl:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Agda_proof.jpg?width=300>
Título	Automated Reasoning: Introduction and Applications (es) Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science Volume 6 (es) First-Order Logic and Automated Theorem Proving (es) Handbook of Automated Reasoning Volume I & II (es) Logic for Computer Science: Foundations of Automatic Theorem Proving (es) Principles of Automated Theorem Proving (es) Symbolic Logic and Mechanical Theorem Proving (es)
Url	<http://comet.lehman.cuny.edu/fitting/> <http://www.cis.upenn.edu/~jean/gbooks/logic.html>
prov:wasDerivedFrom	wiki-latam:Demostración_automática_de_teoremas?oldid=71426296
dbpedia-owl:wikiPageExternalLink	[21 values]
dbpedia-owl:wikiPageID	1550641 (xsd:integer)
dbpedia-owl:wikiPageLength	14670 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	93 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of	dbpedia-latam:Deduccion_automatizada dbpedia-latam:Deducción_automatizada dbpedia-latam:Demostracion_automatica dbpedia-latam:Demostracion_automatica_de_teoremas dbpedia-latam:Demostracion_automática dbpedia-latam:Demostracion_automática_de_teoremas dbpedia-latam:Demostración_automatica dbpedia-latam:Demostración_automatica_de_teoremas dbpedia-latam:Demostración_automática
dbpedia-owl:wikiPageRevisionID	71426296 (xsd:integer)
prop-latam:wikiPageUsesTemplate	dbpedia-latam:Plantilla:Cita_libro dbpedia-latam:Plantilla:Listaref dbpedia-latam:Plantilla:Otros_usos
dbpedia-owl:wikiPageWikiLink	[88 values]
Is dbpedia-owl:wikiPageWikiLink of	[30 values]