Technical Reports
1972
A NOTE ON LINEAR RESOLUTION STRATEGIES IN CONSEQUENCE-FINDING
On the Solution of Block Tridiagonal Systems Arising from Certain Finite-Difference Equations
ROBOT SIMULATION STUDIES : DESCRIPTIONS AND PLANS
ON SELF-MODIFYING PROGRAMS
PREDICTION, COMPLEXITY AND RANDOMNESS
Look-Ahead and One-Person Games
THE SPANNING TREE STRUCTURE OF STATIONARY MARKOV CHAINS
On a Characterization of the Best l2 Scaling of a Matrix
THE USE OF MODELS IN AUTOMATIC THEOREM-PROVING