Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
Please make all selections above before adding to cart
Automated Theorem Proving: After 25 Years
Edited by:
W. W. Bledsoe
Available Formats:
Softcover ISBN: 9780821850275
Product Code: CONM/29
List Price: $57.00
MAA Member Price: $51.30
AMS Member Price: $45.60
Electronic ISBN: 9780821876145
Product Code: CONM/29.E
List Price: $53.00
MAA Member Price: $47.70
AMS Member Price: $42.40
Bundle Print and Electronic Formats and Save!
This product is available for purchase as a bundle. Purchasing as a bundle enables you to save on the electronic version.
Click above image for expanded view
Automated Theorem Proving: After 25 Years
Edited by:
W. W. Bledsoe
Available Formats:
Softcover ISBN:  9780821850275 
Product Code:  CONM/29 
List Price:  $57.00 
MAA Member Price:  $51.30 
AMS Member Price:  $45.60 
Electronic ISBN:  9780821876145 
Product Code:  CONM/29.E 
List Price:  $53.00 
MAA Member Price:  $47.70 
AMS Member Price:  $42.40 
Bundle Print and Electronic Formats and Save!
This product is available for purchase as a bundle. Purchasing as a bundle enables you to save on the electronic version.

Book DetailsContemporary MathematicsVolume: 29; 1984; 360 ppMSC: Primary 68; Secondary 03;

Table of Contents

Articles

Donald W. Loveland  Automated theoremproving: a quartercentury review [ MR 749237 ]

Martin Davis, David Luckham and John McCarthy  Citation for Hao Wang as winner of the milestone award in automated theoremproving [ MR 749238 ]

Hao Wang  Computer theorem proving and artificial intelligence [ MR 749239 ]

Nils J. Nilsson, Robert Boyer, Donald Loveland and R. Daniel Mauldin  Citation for Lawrence Wos and Steven Winker as Winners of the Current Research Award in Automated Theorem Proving

L. Wos and S. Winker  Open Questions Solved with the Assistance of AURA

W. W. Bledsoe  Some Automatic Proofs in Analysis

Robert S Boyer and J Strother Moore  ProofChecking, TheoremProving, and Program Verification

Robert S Boyer and J Strother Moore  A Mechanical Proof of the Turing Completeness of Pure Lisp

Peter B. Andrews, Dale A. Miller, Eve Longini Cohen and Frank Pfenning  Automating HigherOrder Logic

D. Lankford, G. Butler and B. Brady  Abelian group unification algorithms for elementary terms [ MR 749246 ]

Greg Nelson  Combining Satisfiability Procedures by EqualitySharing

Wu WenTsün  On the Decision Problem and the Mechanization of TheoremProving in Elementary Geometry

Wu Wentsün  Some Recent Advances in Mechanical TheoremProving of Geometries

ShangChing Chou  Proving Elementary Geometry Theorems Using Wu’s Algorithm

Douglas B. Lenat  Automated Theory Formation in Mathematics

James McDonald and Patrick Suppes  Student Use of an Interactive Theorem Prover


RequestsReview Copy – for reviewers who would like to review an AMS bookPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
 Book Details
 Table of Contents
 Requests

Articles

Donald W. Loveland  Automated theoremproving: a quartercentury review [ MR 749237 ]

Martin Davis, David Luckham and John McCarthy  Citation for Hao Wang as winner of the milestone award in automated theoremproving [ MR 749238 ]

Hao Wang  Computer theorem proving and artificial intelligence [ MR 749239 ]

Nils J. Nilsson, Robert Boyer, Donald Loveland and R. Daniel Mauldin  Citation for Lawrence Wos and Steven Winker as Winners of the Current Research Award in Automated Theorem Proving

L. Wos and S. Winker  Open Questions Solved with the Assistance of AURA

W. W. Bledsoe  Some Automatic Proofs in Analysis

Robert S Boyer and J Strother Moore  ProofChecking, TheoremProving, and Program Verification

Robert S Boyer and J Strother Moore  A Mechanical Proof of the Turing Completeness of Pure Lisp

Peter B. Andrews, Dale A. Miller, Eve Longini Cohen and Frank Pfenning  Automating HigherOrder Logic

D. Lankford, G. Butler and B. Brady  Abelian group unification algorithms for elementary terms [ MR 749246 ]

Greg Nelson  Combining Satisfiability Procedures by EqualitySharing

Wu WenTsün  On the Decision Problem and the Mechanization of TheoremProving in Elementary Geometry

Wu Wentsün  Some Recent Advances in Mechanical TheoremProving of Geometries

ShangChing Chou  Proving Elementary Geometry Theorems Using Wu’s Algorithm

Douglas B. Lenat  Automated Theory Formation in Mathematics

James McDonald and Patrick Suppes  Student Use of an Interactive Theorem Prover
Review Copy – for reviewers who would like to review an AMS book
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.