Report Number: CS-TR-77-624
Institution: Stanford University, Department of Computer Science
Title: Recent research in computer science.
Author: McCarthy, John
Author: Binford, Thomas O.
Author: Green, Cordell C.
Author: Luckham, David C.
Author: Manna, Z ohar
Author: Winograd, Terry A.
Author: Earnest, Lester D.
Date: June 1977
Abstract: This report summarizes recent accomplishments in six related
areas: (1) basic AI research and formal reasoning, (2) image
understanding, (3) mathematical theory of computation, (4)
program verification, (5) natural language understanding, and
(6) knowledge based programming.