A Proof-Checker for Predicate Calculus,

Abstract

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. (Author)

Document Details

Document Type
Technical Report
Publication Date
Mar 03, 1965
Accession Number
AD0785053

Entities

People

  • John McCarthy

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Applied Computer Science
  • Artificial Intelligence
  • Calculus

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.