Accession Number:

AD0785053

Title:

A Proof-Checker for Predicate Calculus,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1965-03-03

Pagination or Media Count:

10.0

Abstract:

A program that checks proofs in J. A. Robinsons 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. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE