Contact Us
Cancel
The History of Artificial Intelligence

Search Constraints

Start Over
You searched for: Author Weyhrauch, Richard W. Remove constraint Author: Weyhrauch, Richard W. Author McCarthy, John Remove constraint Author: McCarthy, John Genre technical reports Remove constraint Genre: technical reports
1 entry found
Number of results to display per page
{:heatmaps=>"Map"}
List Gallery Map Masonry Slideshow

Search Results

1. Final report: Basic Research in Artificial Intelligence and Foundations of Programming

IIIF Drag-n-drop
Title:
Final report: Basic Research in Artificial Intelligence and Foundations of Programming.
Author:
McCarthy, John, Binford, Thomas O., Luckham, David C., Manna, Zohar, Weyhrauch, Richard W., and Earnest, Les
Author (no Collectors):
McCarthy, John, Binford, Thomas O., Luckham, David C., Manna, Zohar, Weyhrauch, Richard W., and Earnest, Les
Description:
Recent research results are reviewed in the areas of formal reasoning, mathematical theory of computation, program verification, and image understanding.
Topic:
Computer science
Subject:
Stanford University. Computer Science Department
Language:
English
Physical Description:
1 text file
Publication Info:
cau and Stanford (Calif.)
Date:
May 01, 1980
Place created:
Stanford (Calif.)
Imprint:
Stanford (Calif.), May 1, 1980
Genre:
technical reports
Identifier:
CS-TR-1980-808
Repository:
Stanford University. Libraries. Department of Special Collections and University Archives
Collection:
Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
Manuscript number:
3840/2