Research in Advanced Formal Theorem-Proving Techniques


Raphael, B., Fikes, R., & Waldinger, R. (1973). Research in advanced formal theorem-proving techniques (No. NASA-CR-135840).


This report summaries the results of a three-year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning.

Read more from SRI