Proving Theorems by Pattern Recognition I.
An Imaginary Number System.
Macro Instruction Extensions of Compiler Languages.
Euclidian Algorithm (Algorithm 7).
An Introduction to Information Processing Language V.
A High-Speed Multiplication Process for Digital Computers.
A Control System For Logical Block Diagnosis With Data Loading.
Decoding Combinations of the First n Integers Taken k at a Time.
Syntactic and Semantic Augments to ALGOL.
Bessel Funtion I, Series Expansion (Algorithm 5).
Bessel Function I, Asymptotic Expansion (Algorithm 6).
Symbol Manipulation by Threaded Lists.
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I.
Symbol Manipulation in XTRAN.