44 treff

beregnbarhetsteori notrbib real000213
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
The theory of computability : programs, machines, effectiveness and feasibility
R. Sommerhalder, S. C. van Westrhenen
Bok Engelsk 1988 · Vis mer
Computability theory : an introduction to recursion theory /
Herbert B. Enderton.
Bok Engelsk 2011 · Vis mer
Vis flere utgaver
Vis flere utgaver
Mathematical foundations of computer science. 1. Sets, relations, and induction
Fejer, Peter A.
Bok Engelsk 1991 · Vis mer
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou...
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Limits of computation : an introduction to the undecidable and the intractable
Reiter, Edna E..
Bok Engelsk 2013 · Vis mer
Computability theory
S. Barry Cooper
Bok Engelsk 2004 · Vis mer
Recursion-theoretic hierarchies
Hinman, Peter G.
Bok Engelsk 1978 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
Higher recursion theory
Gerald E. Sacks
Bok Engelsk 1990 · Vis mer
Computability : a mathematical sketchbook
Bridges, Douglas
Bok Engelsk 1994 · Vis mer
Classical recursion theory. 1. The theory of functions and sets of natural numbers
Odifreddi, Piergiorgio
Bok Engelsk 1989 · Vis mer
Computability and complexity : from a programming perspective
Neil D. Jones
Bok Engelsk 1997 · Vis mer
Introduction to the theory of computation
Michael Sipser
Bok Engelsk 2013 · Vis mer
Vis flere utgaver
Vis flere utgaver
The nature of computation
Moore, Christopher.
Bok Engelsk 2011 · Vis mer
Great ideas in computer science : a gentle introduction
Alan W. Biermann
Bok Engelsk 1997 · Vis mer
Alan Turing : his work and impact
edited by S. Barry Cooper and Jan van Lee...
Bok Engelsk 2013 · Vis mer
An introduction to Kolmogorov complexity and its applications
Ming Li, Paul Vitányi
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
Local search in combinatorial optimization
edited by Emile Aarts and Jan Karel Lenst...
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
A computable universe : understanding and exploring nature as computation
foreword by Sir Roger Penrose, editor Hec...
Bok Engelsk 2013 · Vis mer
Feynman lectures on computation
Richard P. Feynman ; edited by Anthony J....
Bok Engelsk 1996 · Vis mer
Practical aspects of the graph parameter boolean-width
Sadia Sharmin
Bok Engelsk 2014 · Vis mer
Computability and complexity theory
Steven Homer, Alan L. Selman
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computability : an introduction to recursive function theory
Nigel Cutland
Bok Engelsk 1980 · Vis mer
General recursion theory : an axiomatic approach
Fenstad, Jens Erik
Bok Engelsk 1980 · Vis mer
Computability & unsolvability
Martin Davis
Bok Engelsk 1958 · Vis mer
Fundamentals of computation theory : 11th international symposium, FCT'97, Kraków, Poland, September 1-3, 1997 : proceedings
FCT '97
Bok Engelsk 1997 · Vis mer
Algorithms in combinatorial geometry
Herbert Edelsbrunner
Bok Engelsk 1987 · Vis mer
The theory of computation
Moret, Bernard M.E.
Bok Engelsk 1998 · Vis mer