IMSc Library catalog › Details for: Automated theorem proving :

Normal view MARC view ISBD view

Automated theorem proving : [electronic resource] after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

By: Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)Contributor(s): Bledsoe, W. W | Loveland, Donald W | American Mathematical SocietyMaterial type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 29.Publication details: Providence, R.I. : American Mathematical Society, 1984Description: 1 online resource (ix, 360 p.)ISBN: 9780821876145 (online)Subject(s): Automatic theorem proving -- CongressesAdditional physical formats: Automated theorem proving :DDC classification: 511.3 LOC classification: QA76.9.A96 | S64 1983Online resources: Contents | Contents

Contents:

Automated theorem-proving: a quarter-century review / Donald W. Loveland -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749237 Citation for Hao Wang as winner of the milestone award in automated theorem-proving / Martin Davis, David Luckham and John McCarthy -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749238 Computer theorem proving and artificial intelligence / Hao Wang -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749239 Citation for Lawrence Wos and Steven Winker as Winners of the Current Research Award in Automated Theorem Proving / Nils J. Nilsson, Robert Boyer, Donald Loveland and R. Daniel Mauldin -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/04 Open Questions Solved with the Assistance of AURA / L. Wos and S. Winker -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/05 Some Automatic Proofs in Analysis / W. W. Bledsoe -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/06 Proof-Checking, Theorem-Proving, and Program Verification / Robert S Boyer and J Strother Moore -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/07 A Mechanical Proof of the Turing Completeness of Pure Lisp / Robert S Boyer and J Strother Moore -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/08 Automating Higher-Order Logic / Peter B. Andrews, Dale A. Miller, Eve Longini Cohen and Frank Pfenning -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/09 Abelian group unification algorithms for elementary terms / D. Lankford, G. Butler and B. Brady -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749246 Combining Satisfiability Procedures by Equality-Sharing / Greg Nelson -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/11 On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry / Wu Wen-Ts�un -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/12 Some Recent Advances in Mechanical Theorem-Proving of Geometries / Wu Wen-ts�un -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/13 Proving Elementary Geometry Theorems Using Wu's Algorithm / Shang-Ching Chou -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/14 Automated Theory Formation in Mathematics / Douglas B. Lenat -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/15 Student Use of an Interactive Theorem Prover / James McDonald and Patrick Suppes -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/16

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 39 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK11305

"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso.

Includes bibliographies.

Automated theorem-proving: a quarter-century review / Donald W. Loveland -- Citation for Hao Wang as winner of the milestone award in automated theorem-proving / Martin Davis, David Luckham and John McCarthy -- Computer theorem proving and artificial intelligence / Hao Wang -- Citation for Lawrence Wos and Steven Winker as Winners of the Current Research Award in Automated Theorem Proving / Nils J. Nilsson, Robert Boyer, Donald Loveland and R. Daniel Mauldin -- Open Questions Solved with the Assistance of AURA / L. Wos and S. Winker -- Some Automatic Proofs in Analysis / W. W. Bledsoe -- Proof-Checking, Theorem-Proving, and Program Verification / Robert S Boyer and J Strother Moore -- A Mechanical Proof of the Turing Completeness of Pure Lisp / Robert S Boyer and J Strother Moore -- Automating Higher-Order Logic / Peter B. Andrews, Dale A. Miller, Eve Longini Cohen and Frank Pfenning -- Abelian group unification algorithms for elementary terms / D. Lankford, G. Butler and B. Brady -- Combining Satisfiability Procedures by Equality-Sharing / Greg Nelson -- On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry / Wu Wen-Ts�un -- Some Recent Advances in Mechanical Theorem-Proving of Geometries / Wu Wen-ts�un -- Proving Elementary Geometry Theorems Using Wu's Algorithm / Shang-Ching Chou -- Automated Theory Formation in Mathematics / Douglas B. Lenat -- Student Use of an Interactive Theorem Prover / James McDonald and Patrick Suppes --