vi Table of Contents
G. Nelson. Combining Satisfiability Procedures
by Equality Sharing ......................................................................... 201
Wu Wen-Tsun. On the Decision Problem and
the Mechanization of Theorem-Proving
in Elementary Geometry .................................................................
213
Wu Wen-Tsun. Some Recent Advances in
Mechanical Theo:-em-Proving of Geometries ................................
235
Shang-Ching Chou. Proving Elementary
Geometry Theorems Using Wu's Algorithm ...................................
243
D. B. Lenat. Automated Theory Formation
in Mathematics .................................................................................
287
J. McDonald and P. Suppes. Student Use of
an Interactive Theorem Prover ......................................................
315
Previous Page Next Page