Automated theorem proving : after 25 years /
W.W. Bledsoe and D.W. Loveland, editors.
Bok Engelsk 1984 Special Session on Automatic Theorem Proving,· Electronic books.
| Medvirkende | |
|---|---|
| Omfang | 1 online resource (371 p.)
|
| Opplysninger | "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"--Title page verso.. - 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.
|
| Emner | |
| Sjanger | |
| Dewey | |
| ISBN | 0-8218-5383-X. - 0-8218-7614-7
|
