export record as
dblp key:
export record as
dblp key:
Chapter 1:
Methods of digital computing
export record as
dblp key:
export record as
dblp key:
F. Ceschino ,
J. Kuntzmann :
Faut-il passer à la forme canonique dans les problèmes différentielles de conditions initiales?
33-35
export record as
dblp key:
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.
36-43
export record as
dblp key:
export record as
dblp key:
Ch. Blanc :
Sur l'estimation des erreurs d'arrondi.
54-56
export record as
dblp key:
Hans J. Maehly :
Rational approximations for transcendental functions.
57-61
export record as
dblp key:
D. B. Gillies :
The exact determination of the characteristic polynominal of a matrix.
62-65
export record as
dblp key:
A. A. Dorodnitzin :
The use of high-speed digital computers for solving partial differential equations.
66-71
export record as
dblp key:
L. Collatz :
Methods for the solution of partial differential equations on digital computers.
72-78
export record as
dblp key:
D. J. Evans :
The solution of elliptic difference equations by stationary iterative processes.
79-84
export record as
dblp key:
Richard S. Varga :
Over-relaxation applied to implicit alternating direction methods.
85-89
export record as
dblp key:
G. Letellier ,
R. Lattes :
Résolution sur calculateur électronique d'un problème d'algèbre diophantienne.
90-92
export record as
dblp key:
G. R. Parisot :
Les programmes logarithmiques - application au calcul des programmes convexes, spécialement linéaires.
93-98
export record as
dblp key:
S. Vajda :
Symposium on linear programming.
99-101
export record as
dblp key:
R. Sauer :
Colloque sur l'analyse numérique sur calculatrices automatiques.
102-107
export record as
dblp key:
Chapter 2:
Common symbolic language for computers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
John W. Backus :
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.
125-131
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Chapter 3:
Automatic translation of languages
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
I. K. Belskaya :
Machine translation methods and their application to an Anglo-Russian scheme.
199-217
export record as
dblp key:
Chapter 4:
Pattern recognition and machine learning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
H. Sherman :
A quasi-topological method for the recognition of line patterns.
232-237
export record as
dblp key:
export record as
dblp key:
H. Kazmierczak :
The potential field as an aid to character recognition.
244-247
export record as
dblp key:
S. Frankel :
Information-theoretic aspects of character reading.
248-251
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paul C. Gilmore :
A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus.
265-272
export record as
dblp key:
H. Gelernter :
Realization of a geometry theorem proving machine.
273-281
export record as
dblp key:
export record as
dblp key:
Ray J. Solomonoff :
A new method for discovering the grammars of phrase structure languages.
285-289
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Calvin N. Mooers :
Some mathematical fundamentals of the use of symbols in information retrieval.
315-320
export record as
dblp key:
conf/ifip/Parker-RhodesN59 export record as
dblp key:
Chapter 5:
Logical design of computers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
J. Bosset :
Sur certain aspects de la conception logique du Gamma 60.
348-352
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
M. M. Lehman :
The specification of a cost-limited digital computer.
365-374
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Saburo Muroga :
The principle of majority decision logical elements and the complexity of their circuits.
400-406
export record as
dblp key:
Roberto Vacca :
A three-valued system of logic and its application to base three digital circuits.
407-413
export record as
dblp key:
G. C. Tootill :
The use of cyclic-permuted chain codes for digitisers.
414-418
export record as
dblp key:
Antonin Svoboda :
The numerical system of residual classes in mathematical machines.
419-421
export record as
dblp key:
M. Goto :
Symposium on switching algebra.
422-426
export record as
dblp key:
W. L. van der Poel :
Symposium on the logical organization of very small computers.
427-431
export record as
dblp key:
N. G. Metropolis :
Symposium on the logical organization of very high speed computers.
432-436
Chapter 6:
Special session on computer techniques of the future
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
J. W. Leas :
Microwave solid-state techniques for high speed computers.
466-473
export record as
dblp key:
export record as
dblp key:
G. W. King :
Symposium on the influence of very large memory designs and capabilities on information retrieval.
479-484
Chapter 7:
Miscellaneous topics
export record as
dblp key:
J. Carteron :
Colloque sur les relations du calcul analogique et du calcul arithmétique.
485-486
export record as
dblp key:
export record as
dblp key:
B. W. Adkinson :
Symposium on the collection, storage and retrieval of information.
492-498
data released under the ODC-BY 1.0 license
