2 options
Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.
- Format:
- Book
- Conference/Event
- Author/Creator:
- Special Session on Automatic Theorem Proving, Corporate Author.
- Conference Name:
- Special Session on Automatic Theorem Proving (1983 : Denver, Colo.), issuing body.
- Special Session on Automatic Theorem Proving
- Series:
- Contemporary mathematics (American Mathematical Society). 0271-4132 29
- Contemporary mathematics, 0271-4132 ; 29 0271-4132
- Language:
- English
- Subjects (All):
- Automatic theorem proving--Congresses.
- Automatic theorem proving.
- Physical Description:
- 1 online resource (371 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Providence, Rhode Island : American Mathematical Society, [1984]
- Language Note:
- English
- Contents:
- 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.
- Notes:
- "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.
- Includes bibliographies.
- Description based on print version record.
- ISBN:
- 0-8218-7614-7
- 0-8218-5383-X
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.