Browsing AI Memos (1959 - 2004) by Author "Abrahams, Paul"

Now showing items 1-2 of 2

    • Character-Handling Facilities in the LISP System 

      Abrahams, Paul (1961-01-01)
      Because of the new read program, a number of facilities are being added to the LISP system to permit manipulation of single characters and print names. Machine-language functions have been provided for breaking print names ...

    • The Proofchecker 

      Abrahams, Paul (1961-01-01)
      The Proofchecker is a heuristically oriented computer program for checking mathematical proofs, with the checking of textbook proofs as its ultimate goal. It constructs, from each proof step given to it, a corresponding ...