Automated Theorem Proving : After 25 Years.
Bledsoe, W.W.
Automated Theorem Proving : After 25 Years. - 1st ed. - 1 online resource (371 pages) - Contemporary Mathematics ; v.29 . - Contemporary Mathematics .
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.
9780821876145
Automatic theorem proving -- Congresses.
Electronic books.
QA76.9.A96 -- S64 1983eb
511.3
Automated Theorem Proving : After 25 Years. - 1st ed. - 1 online resource (371 pages) - Contemporary Mathematics ; v.29 . - Contemporary Mathematics .
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.
9780821876145
Automatic theorem proving -- Congresses.
Electronic books.
QA76.9.A96 -- S64 1983eb
511.3