Recent Research in Artificial Intelligence and Foundations of Programming
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Numerical Mathematics
- Computer Programming and Software