ORPP logo
Image from Google Jackets

Automated Theorem Proving : After 25 Years.

By: Contributor(s): Material type: TextTextSeries: Contemporary MathematicsPublisher: Providence : American Mathematical Society, 1984Copyright date: ©1983Edition: 1st edDescription: 1 online resource (371 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9780821876145
Subject(s): Genre/Form: Additional physical formats: Print version:: Automated Theorem ProvingDDC classification:
  • 511.3
LOC classification:
  • QA76.9.A96 -- S64 1983eb
Online resources:
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

© 2024 Resource Centre. All rights reserved.