SRI's Artificial Intelligence Center Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation. Search  |  Contact  |  SRI Home
Space 1x1
 AIC Home   >   Background   >   Publications   >   Details
Space 1x1

Publication Details

Research in Advanced Formal Theorem-Proving Techniques

by Raphael, B., Fikes, R., and Waldinger, R.

Technical Note
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Aug 1973.

Note: Final Report, covering the period 1 June 1971 to 31 July 1973. Prepared for NASA, contract NASW-2086. SRI Project 8721.

Order an AIC Technical Note

   Abstract

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.

   Electronic Copies

Adobe PDF

BibTeX

EndNote

   AIC Personnel

Name Title E-mail
Fikes, Richard E. Professor, Stanford Univ.
Raphael, Bertram Alumnus
Waldinger, Richard J Principal Scientist

Spacer 1x1
Spacer 1x1
 
SRI International

©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493
SRI International is a nonprofit corporation. Privacy policy