Technical Reports

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