Table of Contents
Preface .....................................................................................................
vii
Acknowledgments ... .. ..... ...... ...... .... ...... ..... ................. ..... ..... ...... ..... ....... ix
D. W. Loveland. Automated Theorem Proving:
a Quarter Century Review............................................................... 1
Citation to Hao Wang ............................................................................. 47
Hao Wang. Computer Theorem Proving and
Artificial Intelligence ....................................................................... 49
Citation to Lawrence Was and Steven Winker .................................... 71
L. Was and S. Winker. Open Questions Solved
with the Assistance of AURA ....
~
...................................................... 73
W. W. Bledsoe. Some Automatic Proofs in Analysis .......................... 89
R. S. Boyer and J. S. Moore. Proof-Checking,
Theorem-Proving, and Program Verification ............................... 119
R. S. Boyer and J. S. Moore. A Mechanical Proof
of the Turing Completeness of Pure LISP ..................................... 133
P. B. Andrews, D. A. Miller, E. L. Cohen and F. Pfenning.
Automating Higher-order Logic ..................................................... 169
D. Lankford, G. Butler and B. Brady. Abelian Group
Unification Algorithms for Elementary Terms ............................. 193
Previous Page Next Page