Search |  Contact |  SRI Home 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.

Publication in BibTeX Format

@TECHREPORT{AICPub1319:1973, AUTHOR={Raphael, B., Fikes, R., and Waldinger, R.}, TITLE={Research in Advanced Formal Theorem-Proving Techniques}, ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={Aug}, YEAR={1973}, KEYWORDS={Preliminary QLISP manual, QA4, Problem Solving, Pattern Recognition, Representation; Question Answering, System Integration, QA3, Higher Order Theorem Proving}, 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. }, NOTE={Final Report, covering the period 1 June 1971 to 31 July 1973. Prepared for NASA, contract NASW-2086. SRI Project 8721.} }

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy