| 1.
図書 |
図書
|
Wilhelm Ackermann
|
||||||
| 2.
図書 |
図書
|
John von Neumann
|
||||||
| 3.
図書 |
図書
|
edited by J.P. LaSalle and S. Lefschetz
|
||||||
| 4.
図書 |
図書
|
4. Enumerability, decidability, computability : an introduction to the theory of recursive functions
by Hans Hermes ; translated by G.T. Herman and O. Plassmann
|
||||||
| 5.
図書 |
図書
|
Charles B. Morrey, Jr.
|
||||||
| 6.
図書 |
図書
|
IBM Scientific Computing Symposium on Control Theory and Applications ; International Business Machines Corporation
|
||||||
| 7.
図書 |
図書
|
by Edwin F. Beckenbach and Richard Bellman
|
||||||
| 8.
図書 |
図書
|
by Saunders Mac Lane
|
||||||
| 9.
図書 |
図書
|
by Ralph P. Boas and R. Creighton Buck
|
||||||
| 10.
図書 |
図書
|
by E.B. Dynkin ; translated with the authorization and assistance of the author by J. Fabius ... [et al.]
|
