Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005691672/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b8014540.
- catalog created "c1995.".
- catalog date "1995".
- catalog date "c1995.".
- catalog dateCopyrighted "c1995.".
- catalog description "Alan Turing and the Turing Machine / Andrew Hodges -- Turing's Analysis of Computability, and Major Applications of It / Stephen C. Kleene -- The Confluence of Ideas in 1936 / Robin Gandy -- Turing in the Land of O(z) / Solomon Feferman -- Mathematical Logic and the Origin of Modern Computing / Martin Davis -- From Universal Turing Machines to Self-Reproduction / Michael A. Arbib -- Computerizing Mathematics: Logic and Computation / Michael J. Beeson -- Logical Depth and Physical Complexity / Charles H. Bennett -- The Busy Beaver Game and the Meaning of Life / Allen H. Brady -- An Algebraic Equation for the Halting Probability / Gregory J. Chaitin -- The Price of Programmability / Michael Conrad -- Gandy's Principles for Mechanisms as a Model of Parallel Computation / Elias Dahlhaus and Johann A. Makowsky -- Influences of Mathematical Logic on Computer Science / Martin Davis -- Language and Computations / Jens Erik Fenstad -- Finite Physics / David Finkelstein -- Randomness, Interactive Proofs, and Zero-Knowledge -- A Survey / Oded Goldreich -- Algorithms in the World of Bounded Resources / Yuri Gurevich -- Beyond the Turing Machine / Brosl Hasslacher -- Structure / Moshe Koppel -- Mental Images and the Architecture of Concepts / Johann A. Makowsky -- The Fifth Generation's Unbridged Gap / Donald Michie -- On the Physics and Mathematics of Thought / Roger Penrose -- Effective Processes and Natural Law / Robert Rosen -- Turing Naturalized: Von Neumann's Unfinished Project / Helmut Schnelle -- Complexity Theory and Interaction / Uwe Schoning -- Mechanisms for Computing Over Arbitrary Structures / John C. Shepherdson -- Comparing the Church and Turing Approaches: Two Prophetical Messages / Boris A. Trakhtenbrot -- Form and Content in Thinking Turing Machines / Oswald Wiener.".
- catalog description "Includes bibliographical references.".
- catalog extent "xvi, 611 p :".
- catalog identifier "3211826289".
- catalog identifier "3211826378 (pbk.)".
- catalog isPartOf "Computerkultur, 0946-9613 ; v. 2".
- catalog issued "1995".
- catalog issued "c1995.".
- catalog language "eng".
- catalog publisher "Wien ; New York : Springer-Verlag,".
- catalog subject "511.3 20".
- catalog subject "QA267 .U55 1995".
- catalog subject "Turing machines.".
- catalog tableOfContents "Alan Turing and the Turing Machine / Andrew Hodges -- Turing's Analysis of Computability, and Major Applications of It / Stephen C. Kleene -- The Confluence of Ideas in 1936 / Robin Gandy -- Turing in the Land of O(z) / Solomon Feferman -- Mathematical Logic and the Origin of Modern Computing / Martin Davis -- From Universal Turing Machines to Self-Reproduction / Michael A. Arbib -- Computerizing Mathematics: Logic and Computation / Michael J. Beeson -- Logical Depth and Physical Complexity / Charles H. Bennett -- The Busy Beaver Game and the Meaning of Life / Allen H. Brady -- An Algebraic Equation for the Halting Probability / Gregory J. Chaitin -- The Price of Programmability / Michael Conrad -- Gandy's Principles for Mechanisms as a Model of Parallel Computation / Elias Dahlhaus and Johann A. Makowsky -- Influences of Mathematical Logic on Computer Science / Martin Davis -- Language and Computations / Jens Erik Fenstad -- Finite Physics / David Finkelstein -- Randomness, Interactive Proofs, and Zero-Knowledge -- A Survey / Oded Goldreich -- Algorithms in the World of Bounded Resources / Yuri Gurevich -- Beyond the Turing Machine / Brosl Hasslacher -- Structure / Moshe Koppel -- Mental Images and the Architecture of Concepts / Johann A. Makowsky -- The Fifth Generation's Unbridged Gap / Donald Michie -- On the Physics and Mathematics of Thought / Roger Penrose -- Effective Processes and Natural Law / Robert Rosen -- Turing Naturalized: Von Neumann's Unfinished Project / Helmut Schnelle -- Complexity Theory and Interaction / Uwe Schoning -- Mechanisms for Computing Over Arbitrary Structures / John C. Shepherdson -- Comparing the Church and Turing Approaches: Two Prophetical Messages / Boris A. Trakhtenbrot -- Form and Content in Thinking Turing Machines / Oswald Wiener.".
- catalog title "The universal Turing machine : a half-century survey / Rolf Herken (ed.).".
- catalog type "Aufgabensammlung. swd".
- catalog type "Aufsatzsammlung. swd".
- catalog type "text".