BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-77-624
       ENTRY:: June 28, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Recent research in computer science.
        TYPE:: Technical Report
      AUTHOR:: McCarthy, John
      AUTHOR:: Binford, Thomas O.
      AUTHOR:: Green, Cordell C.
      AUTHOR:: Luckham, David C.
      AUTHOR:: Manna, Zohar
      AUTHOR:: Winograd, Terry A.
      AUTHOR:: Earnest, Lester D.
        DATE:: June 1977
       PAGES:: 126
    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.
       NOTES:: [Adminitrivia V1/Prg/19950628]
         END:: STAN//CS-TR-77-624