Browsing AI Memos (1959 - 2004) by Author "Geiser, James R."

Now showing items 1-1 of 1

    • Commenting Proofs 

      Geiser, James R. (1974-05-01)
      This paper constitutes a summary of a seminar entitled "Commenting Proofs" given a the Artificial Intelligence Laboratory during the spring of 1974. The work is concerned with new syntactic structures in formal proofs ...