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

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.

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE