Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (1960)
by Unknown Authors
BibTeX
@MISC{60recursivefunctions,
author = {},
title = {Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I},
year = {1960}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments with a proposed system called
Citations
| 39 | The logic theory machine - Newell, Simon - 1956 |
| 5 | Programs with common sense, Paper presented at the Symposium on the Mechanization of Thought - McCARTHY |
| 5 | The Calculi of Lambda-Conversion (Princeton - CHURCH - 1941 |
| 4 | International algebraic language - PERLIS, SAMELS0N - 1958 |
