DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE