Location & Availability for: How the world computes : Turing Centenar

 Staff view

You must be logged in to Tag Records

How the world computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /

edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

Book Cover
Names: Cooper, S. B. | Dawar, Anuj. | Löwe, Benedikt.
Vernacular: Lower Bound on Weights of Large Degree Threshold Functions / Vladimir V. Podolskii -- What Are Computers (If They're not Thinking Things)? / John Preston -- Compactness and the Effectivity of Uniformization / Robert Rettinger -- On the Computability Power of Membrane Systems with Controlled Mobility / Shankara Narayanan Krishna, Bogdan Aman and Gabriel Ciobanu -- On Shift Spaces with Algebraic Structure / Ville Salo and Ilkka Törmä -- Finite State Verifiers with Constant Randomness / A. C. Cem Say and Abuzer Yakaryılmaz -- Game Arguments in Computability Theory and Algorithmic Information Theory / Alexander Shen -- Turing Patterns in Deserts / Jonathan A. Sherratt -- Subsymbolic Computation Theory for the Human Intuitive Processor / Paul Smolensky -- A Correspondence Principle for Exact Constructive Dimension / Ludwig Staiger -- Lown Boolean Subalgebras / Rebecca M. Steiner -- Bringing Up Turing's 'Child-Machine' / Susan G. Sterrett -- Is Turing's Thesis the Consequence of a More General Physical Principle? / Matthew P. Szudzik -- Some Natural Zero One Laws for Ordinals Below ε0 / Andreas Weiermann and Alan R. Woods -- On the Road to Thinking Machines: Insights and Ideas / Jiří Wiedermann -- Making Solomonoff Induction Effective / Or: You Can Learn What You Can Bound / Jörg Zimmermann and Armin B. Cremers.
Published: Berlin ; Springer, c2012.
Series: Lecture notes in computer science ; 7318.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Computable functions - Congresses. | Computer science - Mathematics - Congresses.
Genres: Conference proceedings. | Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: How the world computes : Turing Centenar