Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
Copy To Clipboard
Successfully Copied!
Automated Theorem Proving: After 25 Years
 
Automated Theorem Proving: After 25 Years
Softcover ISBN:  978-0-8218-5027-5
Product Code:  CONM/29
List Price: $130.00
MAA Member Price: $117.00
AMS Member Price: $104.00
eBook ISBN:  978-0-8218-7614-5
Product Code:  CONM/29.E
List Price: $125.00
MAA Member Price: $112.50
AMS Member Price: $100.00
Softcover ISBN:  978-0-8218-5027-5
eBook: ISBN:  978-0-8218-7614-5
Product Code:  CONM/29.B
List Price: $255.00 $192.50
MAA Member Price: $229.50 $173.25
AMS Member Price: $204.00 $154.00
Automated Theorem Proving: After 25 Years
Click above image for expanded view
Automated Theorem Proving: After 25 Years
Softcover ISBN:  978-0-8218-5027-5
Product Code:  CONM/29
List Price: $130.00
MAA Member Price: $117.00
AMS Member Price: $104.00
eBook ISBN:  978-0-8218-7614-5
Product Code:  CONM/29.E
List Price: $125.00
MAA Member Price: $112.50
AMS Member Price: $100.00
Softcover ISBN:  978-0-8218-5027-5
eBook ISBN:  978-0-8218-7614-5
Product Code:  CONM/29.B
List Price: $255.00 $192.50
MAA Member Price: $229.50 $173.25
AMS Member Price: $204.00 $154.00
  • Book Details
     
     
    Contemporary Mathematics
    Volume: 291984; 360 pp
    MSC: Primary 68; Secondary 03;
  • Table of Contents
     
     
    • Articles
    • Donald W. Loveland — Automated theorem-proving: a quarter-century review [ MR 749237 ]
    • Martin Davis, David Luckham and John McCarthy — Citation for Hao Wang as winner of the milestone award in automated theorem-proving [ 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 — Proof-Checking, Theorem-Proving, 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 Higher-Order Logic
    • D. Lankford, G. Butler and B. Brady — Abelian group unification algorithms for elementary terms [ MR 749246 ]
    • Greg Nelson — Combining Satisfiability Procedures by Equality-Sharing
    • Wu Wen-Tsün — On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry
    • Wu Wen-tsün — Some Recent Advances in Mechanical Theorem-Proving of Geometries
    • Shang-Ching 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
  • Requests
     
     
    Review Copy – for publishers of book reviews
    Permission – for use of book, eBook, or Journal content
    Accessibility – to request an alternate format of an AMS title
Volume: 291984; 360 pp
MSC: Primary 68; Secondary 03;
  • Articles
  • Donald W. Loveland — Automated theorem-proving: a quarter-century review [ MR 749237 ]
  • Martin Davis, David Luckham and John McCarthy — Citation for Hao Wang as winner of the milestone award in automated theorem-proving [ 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 — Proof-Checking, Theorem-Proving, 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 Higher-Order Logic
  • D. Lankford, G. Butler and B. Brady — Abelian group unification algorithms for elementary terms [ MR 749246 ]
  • Greg Nelson — Combining Satisfiability Procedures by Equality-Sharing
  • Wu Wen-Tsün — On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry
  • Wu Wen-tsün — Some Recent Advances in Mechanical Theorem-Proving of Geometries
  • Shang-Ching 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 publishers of book reviews
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.