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 |