Abstract is missing.
- Inaugural addressesRéne Maheu, Howard H. Aiken, André Danjon, Pierre Auger, Hughes Vinel. 17-24
- Closing SpeechHoward H. Aiken. 25-28
- Rounding errors in algebraic processesJames Hardy Wilkinson. 44-53
- The exact determination of the characteristic polynominal of a matrixD. B. Gillies. 62-65
- Methods for the solution of partial differential equations on digital computersL. Collatz. 72-78
- The solution of elliptic difference equations by stationary iterative processesD. J. Evans. 79-84
- Over-relaxation applied to implicit alternating direction methodsRichard S. Varga. 85-89
- Introductory speechSaul Gorn. 117-118
- The problem of a common language, especially for scientific numeral workFriedrich L. Bauer, Klaus Samelson. 120-124
- The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM ConferenceJohn Warner Backus. 125-131
- A propos d un langage universelJ. Poyen, Bernard Vauquois. 132-137
- Logical, recursive and operator methods for the analysis and synthesis of automataI. Y. Akushsky, Yu. Y. Basilevsky, Yu. A. Shreider. 138-143
- Symposium on automatic programmingAlan J. Perlis. 152-156
- Research on automatic translation at the Harvard Computation LaboratoryVincent E. Giuliano, Anthony G. Oettinger. 163-182
- The COMIT system for mechanical translationVictor H. Yngve. 183-187
- An analogous method for pattern recognition by following the boundaryW. Sprick, Karl E. Ganzhorn. 238-243
- Report on a general problem-solving programAllen Newell, J. C. Shaw, Herbert A. Simon. 256-264
- A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculusPaul C. Gilmore. 265-272
- A non-heuristic program for proving elementary logical theoremsB. Dunham, R. Fridshal, G. L. Sward. 282-284
- A new method for discovering the grammars of phrase structure languagesRay J. Solomonoff. 285-289
- Analysis of the working principles of some self-adjusting systems in engineering and biologyS. N. Braines, A. V. Napalkov, Yu. A. Shreider. 298-302
- Experiments in machine learning and thinkingT. Kilburn, R. L. Grimsdale, F. H. Sumner. 303-308
- A machine model of recallM. E. Stevens. 309-314
- Some mathematical fundamentals of the use of symbols in information retrievalCalvin N. Mooers. 315-320
- A reduction method for non-arithmetic data, and its application to thesauric translationA. F. Parker-Rhodes, Roger M. Needham. 321-325
- Introductory speechMaurice V. Wilkes. 331-333
- Time sharing in large, fast computersChristopher Strachey. 336-341
- Concurrently operating computer systemsAlan L. Leiner, W. A. Notz, J. L. Smith, Rosalind B. Marimont. 353-360
- Processing data in bits and piecesFrederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz. 375-381
- Elimination of carry propagation in digital computersGernot Metze, James E. Robertson. 389-395
- Application of error-correcting codes to multi-way switchingH. Takahasi, Eiichi Goto. 396-399
- The principle of majority decision logical elements and the complexity of their circuitsSaburo Muroga. 400-406
- Thin magnetic filmsS. Methfessel, Walter E. Proebster, C. Kinberg. 439-446
- Symposium on error detection and correctionRichard Wesley Hamming. 487-491