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