1. IFIP Congress 1959: Paris, France
- Réne Maheu, Howard H. Aiken, André Danjon, Pierre Auger, Hughes Vinel:
Inaugural addresses. IFIP Congress 1959: 17-24
Chapter 1: Methods of digital computing
- F. Ceschino, J. Kuntzmann:
Faut-il passer à la forme canonique dans les problèmes différentielles de conditions initiales? IFIP Congress 1959: 33-35 - Peter Henrici:
Theoretical and experimental studies on the accumulation of error in the numerical solution of initial value problems for systems of ordinary differential equations. IFIP Congress 1959: 36-43 - D. B. Gillies:
The exact determination of the characteristic polynominal of a matrix. IFIP Congress 1959: 62-65 - A. A. Dorodnitzin:
The use of high-speed digital computers for solving partial differential equations. IFIP Congress 1959: 66-71 - Lothar Collatz:
Methods for the solution of partial differential equations on digital computers. IFIP Congress 1959: 72-78 - David J. Evans:
The solution of elliptic difference equations by stationary iterative processes. IFIP Congress 1959: 79-84 - Richard S. Varga:
Over-relaxation applied to implicit alternating direction methods. IFIP Congress 1959: 85-89 - G. Letellier, R. Lattes:
Résolution sur calculateur électronique d'un problème d'algèbre diophantienne. IFIP Congress 1959: 90-92 - G. R. Parisot:
Les programmes logarithmiques - application au calcul des programmes convexes, spécialement linéaires. IFIP Congress 1959: 93-98 - R. Sauer:
Colloque sur l'analyse numérique sur calculatrices automatiques. IFIP Congress 1959: 102-107
Chapter 2: Common symbolic language for computers
- Friedrich L. Bauer, Klaus Samelson:
The problem of a common language, especially for scientific numeral work. IFIP Congress 1959: 120-124 - John W. Backus:
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. IFIP Congress 1959: 125-131 - I. Y. Akushsky, Yu. Y. Basilevsky, Yu. A. Shreider:
Logical, recursive and operator methods for the analysis and synthesis of automata. IFIP Congress 1959: 138-143 - F. G. Duncan, E. N. Hawkins:
Pseudo-code translation on multi-level storage machines. IFIP Congress 1959: 144-151
Chapter 3: Automatic translation of languages
- Vincent E. Giuliano, Anthony G. Oettinger:
Research on automatic translation at the Harvard Computation Laboratory. IFIP Congress 1959: 163-182 - Kenneth E. Harper, David G. Hays:
The use of machines in the construction of a grammar and computer program for structural analysis. IFIP Congress 1959: 188-193 - I. K. Belskaya:
Machine translation methods and their application to an Anglo-Russian scheme. IFIP Congress 1959: 199-217
Chapter 4: Pattern recognition and machine learning
- H. Sherman:
A quasi-topological method for the recognition of line patterns. IFIP Congress 1959: 232-237 - W. Sprick, Karl E. Ganzhorn:
An analogous method for pattern recognition by following the boundary. IFIP Congress 1959: 238-243 - George W. Hughes, Morris Halle:
On the recognition of speech by machine. IFIP Congress 1959: 252-255 - Allen Newell, J. C. Shaw, Herbert A. Simon:
Report on a general problem-solving program. IFIP Congress 1959: 256-264 - Paul C. Gilmore:
A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. IFIP Congress 1959: 265-272 - B. Dunham, R. Fridshal, G. L. Sward:
A non-heuristic program for proving elementary logical theorems. IFIP Congress 1959: 282-284 - Ray J. Solomonoff:
A new method for discovering the grammars of phrase structure languages. IFIP Congress 1959: 285-289 - S. N. Braines, A. V. Napalkov, Yu. A. Shreider:
Analysis of the working principles of some self-adjusting systems in engineering and biology. IFIP Congress 1959: 298-302 - Tom Kilburn, R. L. Grimsdale, Frank H. Sumner:
Experiments in machine learning and thinking. IFIP Congress 1959: 303-308 - Calvin N. Mooers:
Some mathematical fundamentals of the use of symbols in information retrieval. IFIP Congress 1959: 315-320 - A. F. Parker-Rhodes, Roger M. Needham:
A reduction method for non-arithmetic data, and its application to thesauric translation. IFIP Congress 1959: 321-325
Chapter 5: Logical design of computers
- William F. Schmitt, Albert B. Tonik:
Sympathetically programmed computers. IFIP Congress 1959: 344-347 - Alan L. Leiner, W. A. Notz, J. L. Smith, Rosalind B. Marimont:
Concurrently operating computer systems. IFIP Congress 1959: 353-360 - Frederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz:
Processing data in bits and pieces. IFIP Congress 1959: 375-381 - I. Y. Akushsky, L. B. Emelianov-Yaroslavsky, E. A. Klyamko, V. S. Linsky, G. D. Monakhov:
Methods of speeding-up the operation of digital computers. IFIP Congress 1959: 382-388 - Gernot Metze, James E. Robertson:
Elimination of carry propagation in digital computers. IFIP Congress 1959: 389-395 - H. Takahasi, Eiichi Goto:
Application of error-correcting codes to multi-way switching. IFIP Congress 1959: 396-399 - Saburo Muroga:
The principle of majority decision logical elements and the complexity of their circuits. IFIP Congress 1959: 400-406 - Roberto Vacca:
A three-valued system of logic and its application to base three digital circuits. IFIP Congress 1959: 407-413 - Antonin Svoboda:
The numerical system of residual classes in mathematical machines. IFIP Congress 1959: 419-421 - W. L. van der Poel:
Symposium on the logical organization of very small computers. IFIP Congress 1959: 427-431 - N. G. Metropolis:
Symposium on the logical organization of very high speed computers. IFIP Congress 1959: 432-436
Chapter 6: Special session on computer techniques of the future
- Siegfried J. Methfessel, Walter E. Proebster, C. Kinberg:
Thin magnetic films. IFIP Congress 1959: 439-446 - H. E. Billing, A. O. Rüdiger:
The possibility of speeding up computers using parametrons. IFIP Congress 1959: 461-465 - D. A. Buck, Kenneth R. Shoulders:
An approach to microminiature printed systems. IFIP Congress 1959: 474-478 - G. W. King:
Symposium on the influence of very large memory designs and capabilities on information retrieval. IFIP Congress 1959: 479-484
Chapter 7: Miscellaneous topics
- J. Carteron:
Colloque sur les relations du calcul analogique et du calcul arithmétique. IFIP Congress 1959: 485-486 - B. W. Adkinson:
Symposium on the collection, storage and retrieval of information. IFIP Congress 1959: 492-498