31 treff

turingmaskiner
Hyperaritmetiske Turingmaskiner. 3. Om konsistens av Peano-aritmetikken og delsystemer av samme : Vedlegg II til magistergradsavhandling
Kirkerud, Bjørn
Bok Bokmål 1968 · Vis mer
Hyperaritmetiske Turingmaskiner
Kirkerud, Bjørn
Bok Bokmål 1967 · Vis mer
Mikro-mekanisk intelligens : et filosofisk essay om Alan Turings teoretiske universal-maskin
av Inge Tjøstheim
Bok Bokmål 1990 · Vis mer
Turing's Vision : The Birth of Computer Science
Chris Bernhardt
Bok Engelsk 2016 · Vis mer
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus the secrets of enigma
Turing, Alan M.
Bok Engelsk 2004 · Vis mer
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine /
Charles Petzold.
Bok Engelsk 2008 · Vis mer
The annotated Turing : a guided tour through Alan Turing's historic paper om computability and the Turing machine
Charles Petzold
Bok Engelsk 2008 · Vis mer
Introduction to computer theory
Daniel I. A. Cohen
Bok Engelsk 1986 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic and algorithms : with applications to the computer and information sciences
Robert R. Korfhage
Bok Engelsk 1966 · Vis mer
The theory of computation
Moret, Bernard M.E.
Bok Engelsk 1998 · Vis mer
The universal Turing machine : a half-century survey
Rolf Herken (ed.)
Bok Engelsk 1994 · Vis mer
Vis flere utgaver
Vis flere utgaver
Sources of consciousness : the biophysical and computational basis of thought
by H.S. Green & T. Triffet
Bok Engelsk 1997 · Vis mer
A madman dreams of Turing machines
Levin, Janna.
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
Rethinking cognitive computation : Turing and the science of the mind
Wells, Andrew
Bok Engelsk 2006 · Vis mer
Thinking about Gödel and Turing : essays on complexity, 1970-2007
Gregory J. Chaitin ; with a foreword by P...
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
The universal computer : the road from Leibniz to Turing
Martin Davis
Bok Engelsk 2000 · Vis mer
Vis flere utgaver
Vis flere utgaver
Turing's connectionism : an investigation of neural network architecture
Christof Teuscher
Bok Engelsk 2001 · Vis mer
Turing machines with sublogarithmic space
Andrzej Szepietowski
Bok Engelsk 1994 · Vis mer
Turing's cathedral : the origins of the digital universe
Dyson, George.
Bok Engelsk 2012 · Vis mer
Feynman lectures on computation
Richard P. Feynman ; edited by Anthony J....
Bok Engelsk 1996 · Vis mer
Mathematical foundations of computer science 1997 : 22nd international symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings
International Symposium on Mathematical Foundations of Computer Science
Bok Engelsk 1997 · Vis mer
Introduction to metamathematics
by Stephen Cole Kleene.
Bok Engelsk 1952 · Vis mer
Logic and computations : compact companion
Herman Ruge Jervell
Bok Engelsk 2012 · Vis mer
Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography
Juraj Hromkovič
Bok Engelsk 2004 · Vis mer
A concise introduction to languages and machines
Alan P. Parkes
Bok Engelsk 2008 · Vis mer
Automata and computability
Kozen, Dexter
Bok Engelsk 1997 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
Turing's World 3.0 for the Macintosh : an introduction to computability theory
Jon Barwise & John Etchemendy
Bok Engelsk 1993 · Vis mer
Éléments d'informatique : informatique et démarche de l'esprit
par Charles Corge
Bok Fransk 1975 · Vis mer