Browsing AI Memos (1959 - 2004) by Issue Date

Now showing items 1-20 of 1217

Explanation of Big "P" as of March 20, 1959

Russell, S. R. (1959-03-01)
Recursive Functions of Symbolic Expressions and Their Computation by Machine

McCarthy, J. (1959-03-13)
Recursive Functions of Symbolic Expressions and Their Computation

McCarthy, J. (1959-03-30)
The Proofchecker

Abrahams, Paul (1961-01-01)
Character-Handling Facilities in the LISP System

Abrahams, Paul (1961-01-01)
Arithmetic in LISP 1.5

Levin, Michael (1961-04-01)
LISP Error Stops as of May 10, 1961

author, No (1961-05-01)
Introduction to the Calculus of Knowledge

Raphael, Bertram (1961-11-01)
The Alpha-Beta Heuristic

Richards, D.J.; Hart, T.P. (1961-12-01)
Some Identities Concerning the Function Subst [x; y; z]

Norton, Lewis M. (1962-01-01)
A Basis for a Mathematical Theory of Computation

McCarthy, John (1962-01-01)
A Heuristic Program to Solve Geometric Analogy Problems

Evans, T.G. (1962-10-01)
A Proposal to Investigate the Application of a Heuristic Theory of Tree Searching to a Chess Playing Program

Bloom, Burton H. (1963-02-01)
Neural Nets and Theories of Memory

Minsky, Marvin (1963-03-01)
Universality of TAG Systems with P-2

Cooke, John; Minsky, Marvin (1963-04-01)
METEOR: A LISP Interpreter for String Transformations

Bobrow, Daniel G. (1963-04-01)
Computer Representation of Semantic Information

Raphael, Bertram (1963-04-01)
Suggested Conventions for LISP Time-Sharing System

Robnett, Richard A. (1963-04-01)
Proposal for a FAP Language Debugging Program

Winett, Joel (1963-06-01)
Primitive Recursion

Levin, Michael (1963-07-01)

Now showing items 1-20 of 1217

Search DSpace@MIT

Advanced Search

Browse

All of DSpace@MIT
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Links

About DSpace@MIT