1
Published 2015
Springer International Publishing
Table of Contents: ...Post & Turing, Martin Davis and Wilfried Sieg -- 2. Algorithms: From Al-Khwarizmi to Turing...

2
by Soare, Robert I.
Published 2016
Springer Berlin Heidelberg
Table of Contents: ... Enumerable Sets -- Chap. 3 Turing Reducibility -- Chap. 4 The Arithmetical Hierarchy -- Chap. 5 Classifying...

3
Published 2009
Springer Netherlands
Table of Contents: ...Setting the Stage -- The Quest for the Thinking Computer -- Alan Turing and the Turing Test...

4
by Rendell, Paul
Published 2016
Springer International Publishing
Table of Contents: ...Introduction -- Background -- Literature Review / Related Work -- Game of Life Turing Machine...

5
by Syropoulos, Apostolos
Published 2008
Springer US
Table of Contents: ...On the Church–Turing Thesis -- Early Hypercomputers -- Infinite-Time TuringMachines -- Interactive...

6
by Lotker, Zvi
Published 2021
Springer International Publishing

7
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... of Programmability -- Alan Turing’s Legacy: Info-Computational Philosophy of Nature -- Dualism of Selective...

8
Published 2017
Springer International Publishing
Table of Contents: ...Part I, Challenging Turing: Extended Models of Computation -- Ivan Soskov: A Life in Computability...

9
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...From the content: Turing Test as a Defining Feature of AI-Completeness -- Artificial Intelligence...

10
by Ganem, Joseph
Published 2023
Springer Nature Switzerland
Table of Contents: ... advantages -- Learning to Work: The two dimensions of job performance -- The Judgment Game: The Turing Test...

11
Published 2012
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th...

13
by Parkes, Alan P.
Published 2008
Springer London
Table of Contents: ... -- Important Features of Regular and Context Free Languages -- Phrase Structure Languages and Turing Machines...

14
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Computational Classes over the Reals -- A Survey of Infinite Time Turing Machines -- The Tiling Problem...

15
by Robič, Borut
Published 2020
Springer Berlin Heidelberg
Table of Contents: ... Formalization -- The Turing Machine -- The First Basic Results -- Incomputable Problems -- Methods of Proving...

16
by Morazán, Marco T.
Published 2024
Springer Nature Switzerland
Table of Contents: ...-Free Languages -- 14. Deterministic PDAs -- Part IV: Context-Sensitive Languages -- 15. Turing Machines...

17
by Maruoka, Akira
Published 2011
Springer London
Table of Contents: ... -- Pushdown Automaton -- Part III: Computability -- Turing Machine -- Universality of Turing Machine and its...

18
by Robič, Borut
Published 2015
Springer Berlin Heidelberg
Table of Contents: ... at Recovery -- The Quest for a Formalization -- The Turing Machine -- The First Basic Results -- Incomputable...

19
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...An Algebraic View on Exact Learning from Queries -- The Church-Turing Thesis: Breaking the Myth...

20
Published 2011
Springer New York
... of future quantum computers and a possible escape from the Church-Turing thesis to a new computation...