Proposals for Development in the Mathematics
暂无分享,去创建一个
[1] A. M. Turing,et al. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[2] Proposed electronic calculator report for National Physical Laboratory Teddington , 2022 .
[3] A. M. Turing. The þ-function in λ- K -conversion , 1937 .
[4] M. Woodger. The Automatic Computing Engine: Papers by Alan Turing and Michael Woodger , 2011 .
[5] A. Turing. THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .
[6] Rounding off-emfs in matr dotsxp mcesses dagger Quart Universal Turing Machine , 2022 .
[7] Collected Works: Mathematical Logic Amsterdam Etc Universal Turing Machine , 2022 .
[8] Logic based on Inclusion and Abstraction WV Quine , 2022 .
[9] E. Griffor,et al. Computational Complexity Theory , 2022 .
[10] Alan M. Turing,et al. Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.
[11] Charles Hutton,et al. Philosophical Transactions of the Royal Society of London , 1781, The London Medical Journal.
[12] Universal Turing,et al. Proposal for Development in the Mathematical Division of an Automatic Computing Engine , 2011 .
[13] B. Jack Copeland,et al. Alan Turing's Automatic Computing Engine , 2005 .
[14] Universal Turing,et al. Proposal for development in the mathematics division of an Automatic Computing Engine ( ACE ) Universal Turing Machine , 2011 .
[15] Alan M. Turing,et al. The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.
[16] Lee A. Gladwin,et al. ALAN M. TURING'S CRITIQUE OF RUNNING SHORT CRIBS ON THE US NAVY BOMBE , 2003, Cryptologia.
[17] Alan M. Turing,et al. VISIT TO NATIONAL CASH REGISTER CORPORATION OF DAYTON, OHIO , 2001, Cryptologia.
[18] OX COMPUTABLE NUMBERS WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM Universal Turing Machine , 2011 .
[19] Universal Turing,et al. AM Turing’s Original Proposal for the Development of an Electronic Computer: Reprinted with a Foreword by DW Davies , 2011 .
[20] A. M. Turing,et al. Can Automatic Calculating Machines Be Said to Think , 2004 .
[21] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[22] The Chemical Bases of Morphogenesis (Reprinted in AM Turing , 2011 .
[23] Collected Works: Mathematical Logic (RO Gandy and CEM Yates Editors) , 2022 .
[24] Can a Machine Think ? The World of Mathematics Universal Turing Machine , 2011 .
[25] S. Cooper,et al. Systems of Logic Based on Ordinals , 2013 .
[26] A. Turing. Intelligent Machinery, A Heretical Theory* , 1996 .
[27] Alan Mathison Turing. Intelligence service : Schriften , 1987 .
[28] A. Turing. Equivalence of Left and Right almost Periodicity , 1935 .
[29] Sergio J. Alvarado. AAAI 1991 spring symposium series reports , 1991 .
[30] Alan M. Turing. Proposed electronic calculator (1945) , 2005 .
[31] A. Turing. Finite Approximations to Lie Groups , 1938 .
[32] A. Turing. PSYCHOLOGY AND PHILOSOPHY , 1950 .
[33] Universal Turing,et al. Can Digital Computers Think?; Reprinted in (copeland 2004) , 2022 .
[34] Alan M. Turing,et al. Practical forms of type theory , 1948, Journal of Symbolic Logic.
[35] Martin Davis,et al. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .
[36] PT Saunders. Collected works of AM Turing ed , 2011 .
[37] A. M. Turing,et al. Local programming methods and conventions , 1989 .
[38] The Legacy of Alan Turing : Connectionism concepts and folk psychology , 2011 .
[39] The Collected Works of AM Turing : Mechanical Intelligence , 2011 .
[40] A. Turing. Lecture to the London Mathematical Society on 20 February 1947. 1986. , 1995, M.D. computing : computers in medical practice.
[41] A. M. Turing,et al. Computing Machinery and Intelligence (1950) , 1989, Ideas That Created the Future.
[42] Universal Turing,et al. The chemical basis of morphogenesis reprinted from Philosophical Transactions of the Royal Society ( Part B ) 237 37-72 ( 1953 ) Universal Turing Machine , 2022 .
[43] A. Turing. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[44] Digital Computers Applied to Games. Faster Than Thought , 2011 .
[45] The chemical theory of 185 . morphogenesis Universal Turing Machine , 2011 .
[46] A. M. Turing,et al. Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers , 1953 .
[47] Rounding-o errors in matrix processes Universal Turing Machine , 2011 .
[48] Can a machine think ? In Newman JR The World of Mathematics , 2011 .
[49] B. Meltzer,et al. Intelligent Machinery-National Physical Laboratory Report , 2011 .
[50] A Diffusion Reaction Theory of Morphogenesis , 1952, Nature.
[51] Machines and Thought : Connectionism concepts and folk psychology , 2011 .
[52] A. Turing. Artificial Intelligence : Usfssg Computers to Think about Thinking . Part 1 , 1983 .