Contemporary Mathematics 1984; 360 pp; softcover Volume: 29 Reprint/Revision History: reprinted 1985 ISBN10: 082185027X ISBN13: 9780821850275 List Price: US$50 Member Price: US$40 Order Code: CONM/29
 Table of Contents  D. W. Loveland  Automated theorem proving: a quarter century review
 Citation to Hao Wang
 H. Wang  Computer theorem proving and artificial intelligence
 Citation to Lawrence Wos and Steven Winker
 L. Wos 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  Proofchecking, theoremproving, 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 higherorder logic
 D. Lankford, G. Butler, and B. Brady  Abelian group unification algorithms for elementary terms
 G. Nelson  Combining satisfiability procedures by equality sharing
 W. WenTsun  On the decision problem and the mechanization of theoremproving in elementary geometry
 W. WenTsun  Some recent advances in mechanical theoremproving of geometries
 S.C. Chou  Proving elementary geometry theorems using Wu's algorithm
 D. B. Lenat  Automated theory formation in mathematics
 J. McDonald and P. Suppes  Student use of an interactive theorem prover
