Théorie Des Nombres Calculables Suivi D'une Application Au Probl'eme De La Décision Universal Turing Machine
暂无分享,去创建一个
[1] M. Woodger. The Automatic Computing Engine: Papers by Alan Turing and Michael Woodger , 2011 .
[2] PT Saunders. Collected works of AM Turing ed , 2011 .
[3] Charles Hutton,et al. Philosophical Transactions of the Royal Society of London , 1781, The London Medical Journal.
[4] Logic based on Inclusion and Abstraction WV Quine , 2022 .
[5] E. Griffor,et al. Computational Complexity Theory , 2022 .
[6] A. Turing. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[7] Programmers ’ handbook for Manchester electronic computer Universal Turing Machine , 2022 .
[8] A. Turing. Lecture to the London Mathematical Society on 20 February 1947. 1986. , 1995, M.D. computing : computers in medical practice.
[9] A. M. Turing,et al. Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers , 1953 .
[10] Machines and Thought : Connectionism concepts and folk psychology , 2011 .
[11] Can a machine think ? In Newman JR The World of Mathematics , 2011 .
[12] B. Meltzer,et al. Intelligent Machinery-National Physical Laboratory Report , 2011 .
[13] A Diffusion Reaction Theory of Morphogenesis , 1952, Nature.
[14] Universal Turing,et al. Proposal for development in the mathematics division of an Automatic Computing Engine ( ACE ) Universal Turing Machine , 2011 .
[15] B. Jack Copeland,et al. Alan Turing's Automatic Computing Engine , 2005 .
[16] Collected Works: Mathematical Logic (RO Gandy and CEM Yates Editors) , 2022 .
[17] A. Turing. Equivalence of Left and Right almost Periodicity , 1935 .
[18] Sergio J. Alvarado. AAAI 1991 spring symposium series reports , 1991 .
[19] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[20] Universal Turing,et al. AM Turing’s Original Proposal for the Development of an Electronic Computer: Reprinted with a Foreword by DW Davies , 2011 .
[21] Digital Computers Applied to Games. Faster Than Thought , 2011 .
[22] The Chemical Bases of Morphogenesis (Reprinted in AM Turing , 2011 .
[23] Can a Machine Think ? The World of Mathematics Universal Turing Machine , 2011 .
[24] Alan M. Turing,et al. VISIT TO NATIONAL CASH REGISTER CORPORATION OF DAYTON, OHIO , 2001, Cryptologia.
[25] A. M. Turing,et al. Can Automatic Calculating Machines Be Said to Think , 2004 .
[26] Alan M. Turing,et al. Practical forms of type theory , 1948, Journal of Symbolic Logic.
[27] The Legacy of Alan Turing : Connectionism concepts and folk psychology , 2011 .
[28] The Collected Works of AM Turing : Mechanical Intelligence , 2011 .
[29] A. Turing. Artificial Intelligence : Usfssg Computers to Think about Thinking . Part 1 , 1983 .
[30] Martin Davis,et al. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .
[31] 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 .
[32] Andy Clark,et al. Machines and Thought , 1996 .
[33] A. M. Turing,et al. Computing Machinery and Intelligence (1950) , 1989, Ideas That Created the Future.
[34] A. M. Turing,et al. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[35] Proposed electronic calculator report for National Physical Laboratory Teddington , 2022 .
[36] A. Turing. PSYCHOLOGY AND PHILOSOPHY , 1950 .
[37] Universal Turing,et al. Can Digital Computers Think?; Reprinted in (copeland 2004) , 2022 .
[38] A. M. Turing,et al. Local programming methods and conventions , 1989 .
[39] S. Barry Cooper,et al. Rounding-off Errors in Matrix Processes , 2013 .
[40] Lee A. Gladwin,et al. ALAN M. TURING'S CRITIQUE OF RUNNING SHORT CRIBS ON THE US NAVY BOMBE , 2003, Cryptologia.
[41] A. Turing. Intelligent Machinery, A Heretical Theory* , 1996 .
[42] Alan Mathison Turing. Intelligence service : Schriften , 1987 .
[43] A. Turing. THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .
[44] Rounding off-emfs in matr dotsxp mcesses dagger Quart Universal Turing Machine , 2022 .