TY  - BOOK
AU  - Bledsoe,W.W.
AU  - Loveland,D.W.
TI  - Automated Theorem Proving: After 25 Years
T2  - Contemporary Mathematics
SN  - 9780821876145
AV  - QA76.9.A96 -- S64 1983eb 
U1  - 511.3 
PY  - 1984///
CY  - Providence
PB  - American Mathematical Society
KW  - Automatic theorem proving -- Congresses
KW  - Electronic books
N1  - Intro -- Table of Contents -- Preface -- Acknowledgments -- Automated Theorem Proving: a Quarter Century Review -- Citation to Hao Wang -- Computer Theorem Proving and Artificial Intelligence -- Citation to Lawrence Wos and Steven Winker -- Open Questions Solved with the Assistance of AURA -- Some Automatic Proofs in Analysis -- Proof-Checking, Theorem-Proving, and Program Verification -- A Mechanical Proof of the Turing Completeness of Pure LISP -- Automating Higher-order Logic -- Abelian Group Unification Algorithms for Elementary Terms -- Combining Satisfiability Procedures by Equality Sharing -- On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry -- Some Recent Advances in Mechanical Theorem-proving of Geometries -- Proving Elementary Geometry Theorems Using Wu's Algorithm -- Automated Theory Formation in Mathematics -- Student Use of an Interactive Theorem Prover
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3112848
ER  -