Volume 12, Number 1, January 1965
- M. W. Curtis:
A Turing Machine Simulator.
1-13

- Robert M. McClure:
A Programming Language for Simulating Digital Systems.
14-22

- John Alan Robinson:
A Machine-Oriented Logic Based on the Resolution Principle.
23-41

- Sheila A. Greibach:
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars.
42-52

- Eric Wolman:
A Fixed Optimum Cell-Size for Records of Various Lengths.
53-70

- H. Glass, L. Cooper:
Sequential Search: A Method for Solving Constrained Optimization Problems.
71-82

- M. Donald MacLaren, George Marsaglia:
Uniform Random Number Generators.
83-89

- Aaron Booker:
Numerical Evaluation of Symmetric Polynomials.
90-94

- Roger W. Hockney:
A Fast Direct Solution of Poisson's Equation Using Fourier Analysis.
95-113

- J. H. Bramble, B. E. Hubbard:
Approximation of Solutions of Mixed Boundary Value Problems for Poisson's Equation by Finite Differences.
114-123

- John C. Butcher:
A Modified Multistep Method for the Numerical Integration of Ordinary Differential Equations.
124-135

- Edward B. Anders:
An Error Bound for a Numerical Filtering Technique.
136-140

- Arthur Gill:
Analysis and Synthesis of Stable Linear Sequential Circuits.
141-149

Volume 12, Number 2, April 1965
- Paul W. Broome:
Discrete Orthonormal Sequences.
151-168

- David G. Moursund:
Examination of Multiple Roots and Root Clusters of a Polynomial Using the Bernoulli Procedure.
169-174

- R. D. Glauz:
On the Numerical Solution of Ordinary and Partial Differential Equations Using Integral Relations.
175-180

- Charles B. Dunham:
Convergence Problems in Maehly's Second Method.
181-186

- Gerard P. Weeg:
The Automorphism Group of the Direct Product of Strongly Related Automata.
187-195

- Shen Lin, Tibor Rado:
Computer Studies of Turing Machine Problems.
196-212

- J. T. Chu:
Optimal Decision Functions for Computer Character Recognition.
213-226

- R. L. Crane, R. W. Klopfenstein:
A Predictor-Corrector Algorithm with an Increased Range of Absolute Stability.
227-241

- Herbert Kanner:
Number Base Conversion in a Significant Digit Arithmetic.
242-246

- Walter Penney:
A ``Binary'' System for Complex Numbers.
247-248

- Jerry Sanders:
Document Association and Classification Based on L-Languages.
249-253

- Stephen Glicksman:
Concerning the Merging of Equal Length Tape Files.
254-258

- W. J. Dixon, R. A. Kronmal:
The Choice of Origin and Scale for Graphs.
259-261

- C. L. Sheng:
Threshold Logic Elements Used as a Probability Transformer.
262-276

- Shmuel Winograd:
On the Time Required to Perform Addition.
277-285

- Russell W. Stineman:
Digital Time-Domain Analysis of Systems with Widely Separated Poles.
286-293

Volume 12, Number 3, July 1965
Volume 12, Number 4, October 1965
- Leroy F. Meyers:
Morphological Classification in the National Bureau of Standards Mechanical Translation System.
437-472

- Lauren B. Doyle:
Is Automatic Classification a Reasonable Application of Statistical Analysis of Text?
473-489

- John O'Connor:
Automatic Subject Recognition in Scientific Papers: An Empirical Study.
490-515

- Solomon W. Golomb, Leonard D. Baumert:
Backtrack Programming.
516-524

- A. V. Srinivasan:
An Investigation of Some Computational Aspects of Integer Programming.
525-535

- Larry Wos, George A. Robinson, Daniel F. Carson:
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.
536-541

- T. R. N. Rao, N. Zierler:
On Mappings for Modular Arithmetic, I.
542-544

- S. Berkovits, M. Schlessinger, N. Zierler:
On Mappings for Modular Arithmetic, II.
545-546

- Donald G. Anderson:
Iterative Procedures for Nonlinear Integral Equations.
547-560

- Bruce H. Barnes:
Groups of Automorphisms and Sets of Equivalence Classes of Input for Automata.
561-565

- Arthur C. Fleck:
On the Automorphism Group of an Automaton.
566-569

- Patrick C. Fischer:
On Formalisms for Turing Machines.
570-580

- Wei Chang, Donald J. Wong:
Analysis of Real Time Multiprogramming.
581-588

- Jack B. Dennis:
Segmentation and the Design of Multiprogrammed Computer Systems.
589-602

- George B. Dantzig, R. P. Harvey, R. D. McKnight:
Updating the Product Form of the Inverse for the Revised Simplex Method.
603

Last update Mon May 20 01:08:25 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page