Timothy Hart

Home * People * Timothy Hart



Timothy P. Hart, (September 18, 1939 - January 20, 2014 ) was an American computer scientist, in the 60s affiliated with Massachusetts Institute of Technology, and in 1970 co-founder of Evans, Griffiths and Hart, Inc, EGH. As MIT graduate Timothy Hart was involved in the initial development of LISP within the group of John McCarthy. Along with Daniel Edwards, Timothy Hart wrote a memo on Alpha-Beta in December 1961, revised version in 1963. It also contains a Theorem by Michael Levin, the well known formula of the number of leaf nodes that need to be examined in Alpha-Beta.

=Quotes=

LISP
=See also=
 * History of Alpha-Beta
 * Lisp

=Selected Publications=
 * Daniel Edwards, Timothy Hart (1961). The Alpha-Beta Heuristic. AIM-030
 * John McCarthy, Paul W. Abrahams, Daniel Edwards, Timothy Hart, Michael Levin (1962) LISP 1.5 Programmer's Manual. The M.I.T. Press, second edition (1985) as pdf
 * Timothy Hart (1963). A Proposal for a Geometry Theorem Proving Program. AIM-056
 * Timothy Hart (1963). MACRO Definitions for LISP. AIM-057
 * Timothy Hart, Michael Levin (1964). LISP Exercises. AIM-064
 * Robert A. Yates, Bertram Raphael, Timothy Hart (1970). Resolution Graphs. Artificial Intelligence Vol. 1, No. 4, pdf

=References= Up one level