Search
Now showing items 1-6 of 6
Character-Handling Facilities in the LISP System
(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 Alpha-Beta Heuristic
(1961-12-01)
The Alpha-Beta heuristic is a method for pruning unneeded branches from the move tree of a game. The algorithm makes use of information gained about part of the tree to reject those branches which will not affect the ...
Introduction to the Calculus of Knowledge
(1961-11-01)
This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, ...
Arithmetic in LISP 1.5
(1961-04-01)
As of the present, the following parts of LISP 1.5 are working. This is an excerpt from the forth coming LISP 1.5 Programmer's Manual.
LISP Error Stops as of May 10, 1961
(1961-05-01)
no abstract
The Proofchecker
(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 ...