Alan Mathison Turing
暂无分享,去创建一个
[1] Alan M. Turing,et al. The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.
[2] Alan M. Turing. The p-Function in λ-K-Conversion , 1937, J. Symb. Log..
[3] Harry D. Huskey. From ACE to the G-15 , 1984, Annals of the History of Computing.
[4] L. Harris,et al. Everglades: The Ecosystem and its Restoration. , 1995 .
[5] Gian-Carlo Rota,et al. History of Computing in the Twentieth Century , 1980 .
[6] Ronald D. Jones,et al. CARBON MINERALIZATION IN PRISTINE AND PHOSPHORUS‐ENRICHED PEAT SOILS OF THE FLORIDA EVERGLADES , 1995 .
[7] Robin W. Addie. Memories of Alan Turing , 1993 .
[8] A. Turing. Finite Approximations to Lie Groups , 1938 .
[9] P. Kidwell,et al. The universal turing machine: a half-century survey , 1996, IEEE Annals of the History of Computing.
[10] J. Grace,et al. Effects of Nutrients and Hydroperiod on Typha, Cladium, and Eleocharis: Implications for Everglades Restoration , 1996 .
[11] A. Turing. Equivalence of Left and Right almost Periodicity , 1935 .
[12] R. Twilley,et al. A simulation model of organic matter and nutrient accumulation in mangrove wetland soils , 1999 .
[13] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[14] Robert Slater,et al. Portraits in silicon , 1987 .
[15] M. Koch,et al. Distribution of soil and plant nutrients along a trophic gradient in the Florida Everglades. , 1992 .
[16] Martin Campbell-Kelly,et al. Programming the Pilot ACE: Early Programming Activity at the National Physics Laboratory , 1981, Annals of the History of Computing.
[17] A. M. Turing. The þ-function in λ- K -conversion , 1937 .
[18] A. Turing. The extensions of a group , 1938 .
[19] Cliff B. Jones,et al. An Early Program Proof by Alan Turing , 1984, Annals of the History of Computing.
[20] Alan M. Turing,et al. Practical forms of type theory , 1948, Journal of Symbolic Logic.
[21] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .
[22] A. Turing. ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .
[23] M. H. A. Newman,et al. A formal theorem in Church's theory of types , 1942, Journal of Symbolic Logic.
[24] Alan M. Turing,et al. Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.
[25] James Hardy Wilkinson. Turing's Work at the National Physical Laboratory and the Construction of Pilot ACE, DEUCE, and ACE , 1980 .
[26] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[27] Alan M. Turing,et al. Computability and λ-definability , 1937, Journal of Symbolic Logic.
[28] A. Turing. THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .
[29] E. Drea,et al. Code Breakers: The Inside Story of Bletchley Park. , 2015 .
[30] M. Koch. Rhizophora mangle L. Seedling Development into the Sapling Stage across Resource and Stress Gradients in Subtropical Florida 1 , 1997 .
[31] A. Turing. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[32] R. Delaune,et al. Long-Term Nutrient Accumulation Rates in the Everglades , 1993 .
[33] J. M. Andersen. An ignition method for determination of total phosphorus in lake sediments , 1976 .
[34] C. Richardson,et al. FORMS OF SOIL PHOSPHORUS ALONG A NUTRIENT ENRICHMENT GRADIENT IN THE NORTHERN EVERGLADES , 1995 .
[35] A. Turing. A method for the calculation of the zeta-function Universal Turing Machine , 2011 .
[36] John A. N. Lee,et al. Computer pioneers , 1995 .
[37] A. Turing. Some Calculations of the Riemann Zeta-Function , 1953 .
[38] Susan Newman,et al. Factors influencing cattail abundance in the northern Everglades , 1998 .
[39] Rolf Herken,et al. The Universal Turing Machine: A Half-Century Survey , 1992 .