Contact Us

The History of Artificial Intelligence

Predicate calculus with "undefined" as a truth-value. AIM-001.

purl.stanford.edu/zc129sh9123
Title:
Predicate calculus with "undefined" as a truth-value. AIM-001.
Author:
McCarthy, John, 1927-2011
Author (no Collectors):
McCarthy, John, 1927-2011
Description:
The use of predicate calculus in the mathematical theory of computation and the problems involved in interpreting their values.
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 22, 1963
Place created:
Stanford (Calif.)
Imprint:
Stanford (Calif.), March 22, 1963
Genre:
memorandums
Identifier:
AIM-001
Repository:
Stanford University. Libraries. Department of Special Collections and University Archives
Collection:
Stanford Artificial Intelligence Laboratory records, 1963-2009
Manuscript number:
SC1041