Browsing AI Memos (1959 - 2004) by Author "Hart, Timothy"

Now showing items 1-2 of 2

    • REVISED USER'S VERSION - Time Sharing LISP 

      Martin, William; Hart, Timothy (1964-04-01)
      This memo describes changes to the LISP system by several people. The changes reduce printout and give the user more control over it. They also make it possible for LISP to communicate with the teletype and the disk. The ...

    • A Useful Algebraic Property of Robinson's Unification Algorithm 

      Hart, Timothy (1965-11-01)
      This memo presupposes some acquaintance with "A Machine Oriented Logic Based on the Resolution Principle", J.A. Robinson, JACM Jan65. The reader unfamiliar with this paper should be able to get a general idea of the ...