Recent Research in Computer Science
John McCarthy, Thomas O. Binford, Cordell Green, David C. Luckham, Zohar Manna · 1977
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.