Automated Theorem Proving: After 25 Years: After 25 Years

Cover
American Mathematical Soc., 1984 - 360 Seiten
 

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Inhalt

a Quarter Century Review
1
Citation to Hao Wang
47
Computer Theorem Proving and Artificial Intelligence
49
Citation to Lawrence Wos and Steven Winker
71
Open Questions Solved with the Assistance of AURA
73
Some Automatic Proofs in Analysis
89
ProofChecking TheoremProving and Program Verification
119
A Mechanical Proof of the Turing Completeness of Pure LISP
133
Abelian Group Unification Algorithms for Elementary Terms
193
Combining Satisfiability Procedures by Equality Sharing
201
On the Decision Problem and the Mechanization of TheoremProving in Elementary Geometry
213
Some Recent Advances in Mechanical Theoremproving of Geometries
235
Proving Elementary Geometry Theorems Using Wus Algorithm
243
Automated Theory Formation in Mathematics
287
Student Use of an Interactive Theorem Prover
315
Urheberrecht

Automating Higherorder Logic
169

Andere Ausgaben - Alle anzeigen

Häufige Begriffe und Wortgruppen

Bibliografische Informationen