Accession Number:

ADA066562

Title:

Recent Research in Artificial Intelligence and Foundations of Programming

Descriptive Note:

Progress rept.

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

• McCarthy, John
• Binford, Tom
• Green, Cordell
• Luckham, David
• Manna, Zohar

Report Date:

1978-09-01

Pagination or Media Count:

96.0

Abstract:

This report summarizes recent research in the following areas artificial intelligence and formal reasoning, mathematical theory of computation and program synthesis, program verification, image understanding, and knowledge based programming.

Descriptors:

• *ARTIFICIAL INTELLIGENCE
• *COMPUTER PROGRAMMING
• COMPUTATIONS
• METHODOLOGY
• MODELS
• PRODUCTION
• STEREOMAPPING
• THEORY

Subject Categories:

• Numerical Mathematics
• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE