Automated Theorem Proving: After 25 Years (Google eBook)

Front Cover
W. W. Bledsoe, Donald W. Loveland
American Mathematical Soc., 1984 - Mathematics - 360 pages
0 Reviews
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

Contemporary Mathematics
1
Citation for Hao Wang as Winner of The Milestone Award in Automated TheoremProving
47
COMPUTER THEOREM PROVING AND ARTIFICIAL INTELLIGENCE
49
As Winners Of The Current Research Award In Automated Theorem Proving
71
vaov io ZNnusissv am hua axinos saoiisanb nao
73
SOME AUTOMATIC PROOFS IN ANALYSIS W W Bledsoe1
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 EQUALITYSHARING
201
THE MECHANIZATION OF THEOREMPROVING IN ELEMENTARY GEOMETRY1
213
SOME RECENT ADVANCES IN MECHANICAL THEOREMPROVING OF GEOMETRIES
235
Proving Elementary Geometry Theorems Using Wus Algorithm
243
AUTOMATED THEORY FORMATION IN MATHEMATICS Douglas B Lenat
287
STUDENT USE OF AN INTERACTIVE THEOREM PROVER James McDonald and Patrick Suppes1
315
Copyright

AUTOMATING HIGHERORDER LOGIC
169

Common terms and phrases

Popular passages

Page ix - Used by permission of the International Joint Conferences on Artificial Intelligence, Inc.; copies of the Proceedings are available from Morgan Kaufmann Publishers, Inc..

References to this book

All Book Search results »

Bibliographic information