Recent Research in Artificial Intelligence, Heuristic Programming, and Network Protocols
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
This is a progress report for ARPA-sponsored research projects in computer science for the period July 1973 to July 1974. Accomplishments are reported in artificial intelligence especially heuristic programming, robotics, theorem proving, automatic programming, and natural language understanding, mathematical theory of computation, and protocol development for computer communication networks. References to recent publications are provided for each topic.
- Computer Programming and Software