| 437 | -- | 472 | Leroy F. Meyers. Morphological Classification in the National Bureau of Standards Mechanical Translation System |
| 473 | -- | 489 | Lauren B. Doyle. Is Automatic Classification a Reasonable Application of Statistical Analysis of Text? |
| 490 | -- | 515 | John O Connor. Automatic Subject Recognition in Scientific Papers: An Empirical Study |
| 516 | -- | 524 | Solomon W. Golomb, Leonard D. Baumert. Backtrack Programming |
| 525 | -- | 535 | A. V. Srinivasan. An Investigation of Some Computational Aspects of Integer Programming |
| 536 | -- | 541 | Larry Wos, George A. Robinson, Daniel F. Carson. Efficiency and Completeness of the Set of Support Strategy in Theorem Proving |
| 542 | -- | 544 | T. R. N. Rao, N. Zierler. On Mappings for Modular Arithmetic, I |
| 545 | -- | 546 | S. Berkovits, M. Schlessinger, N. Zierler. On Mappings for Modular Arithmetic, II |
| 547 | -- | 560 | Donald G. Anderson. Iterative Procedures for Nonlinear Integral Equations |
| 561 | -- | 565 | Bruce H. Barnes. Groups of Automorphisms and Sets of Equivalence Classes of Input for Automata |
| 566 | -- | 569 | Arthur C. Fleck. On the Automorphism Group of an Automaton |
| 570 | -- | 580 | Patrick C. Fischer. On Formalisms for Turing Machines |
| 581 | -- | 588 | Wei Chang, Donald J. Wong. Analysis of Real Time Multiprogramming |
| 589 | -- | 602 | Jack B. Dennis. Segmentation and the Design of Multiprogrammed Computer Systems |
| 603 | -- | 0 | George B. Dantzig, R. P. Harvey, R. D. McKnight. Updating the Product Form of the Inverse for the Revised Simplex Method |