A Proof-checker for Predicate Calculus. AIM-027
- Title:
- A Proof-checker for Predicate Calculus. AIM-027
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
A program that checks proofs in J. A. Robinson's formulation of
predicate calculus has been programmed in LISP 1.5. The program is
available in CTSS at Project MAC and is also available as a card
deck. The program is used for class exercises at Stanford.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- March 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1965
- Genre:
- memorandums
- Identifier:
- AIM-027
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041