BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-80-808
       ENTRY:: June 08, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Final report: Basic Research in Artificial Intelligence and
               Foundations of Programming
        TYPE:: Technical Report
      AUTHOR:: McCarthy, John
      AUTHOR:: Binford, Thomas O.
      AUTHOR:: Luckham, David C.
      AUTHOR:: Manna, Zohar
      AUTHOR:: Weyhrauch, Richard W.
      AUTHOR:: Earnest, Les
        DATE:: May 1980
       PAGES:: 78
    ABSTRACT:: Recent research results are reviewed in the areas of formal
               reasoning, mathematical theory of computation, program
               verification, and image understanding.
       NOTES:: [Adminitrivia V1/Prg/19950608]
         END:: STAN//CS-TR-80-808