Search alternatives:
kurst » kursat, kunst, hurst
kuren » karen, turen, buren
ture » turn, cure, tube

1
by Grogono, Peter
Published 1995
Springer New York
Table of Contents: ...A Turing Keywords -- B Expression Operators -- C Assignment Operators -- D Predefined Functions...

2
by Brewer, William D.
Published 2024
Springer International Publishing
Table of Contents: ... -- Eine kurze Einführung in die mathematische Logik -- Gödels Doktorarbeit, 1928-30: Die Vollständigkeit...

3
by Bodendorf, Kurt
Published 1958
Springer Berlin Heidelberg

4
by Bodendorf, Kurt
Published 1949
Springer Berlin Heidelberg

5
by Veevers, Nick, Allison, Pete
Published 2011
SensePublishers

6
by Edinger, Lewis Joachim
Published 1967
VS Verlag für Sozialwissenschaften

7
by Sigmund, Karl, Dawson, John, Mühlberger, Kurt
Published 2006
Vieweg+Teubner Verlag
...Its starting point were the preparations for an exhibition on KurtGödel, on occasion of his...

8
Published 2010
Cambridge University Press
Table of Contents: ... / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten...

9
Published 2021
Springer International Publishing
... of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a...

10
Published 1995
Birkhäuser
...Kurt Gödel, together with Bertrand Russell, is the most important name in logic...

11
by Brewer, William D.
Published 2022
Springer International Publishing
...During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians...

12
by Ginneken, Jaap van
Published 2018
Amsterdam University Press
Subjects: ...Baschwitz, Kurt / 1886-1968...

13
Published 2003
Springer Netherlands
Table of Contents: ...1. HISTORY -- The Turing Test -- Turing Test: 50 Years Later -- 2. Interpretation -- Turing’s Two...

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

15
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...

16
by Cooper, S. B.
Published 2013
Elsevier
Subjects: ...Turing, Alan Mathison / 1912-1954...

17
by Teuscher, Christof
Published 2002
Springer London
Table of Contents: ...1. Introduction -- 1.1 Turing’s Anticipation of Connectionism -- 1.2 Alan Mathison Turing -- 1.3...

18
Published 2014
Cambridge University Press
Table of Contents: ...Turing's legacy: developments from Turing's ideas in logic / Rod Downey -- 1. Computability...

19
by Endler, Arno
Published 2020
Bookwire GmbH

20
by Shieber, Stuart M.
Published 2004
Mit Press
Subjects: ...Turing test...