Laddar...

QR-kod

Computability Theory;Vol.62

Bibliografiska uppgifter
Huvudupphovsman:	Weber,Rebecca
Materialtyp:	Printed Book
Publicerad:	American mathematical society
Ämnen:	Recursion theory > Computable functions

Liknande verk

Recursive functions.-3rd ed.
av: Peter, Rozsa
Publicerad: (1967)

Recursively enumerable sets and degrees.
av: Soare, Robert J.
Publicerad: (1987)

Recursion theory for metamathematics.
av: Smullyan, Raymond M.
Publicerad: (1993)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
av: Fenstad,J.E.ed
Publicerad: (1974)

Computability and logic /
av: Boolos, George S.
Publicerad: (2002)

Computability and logic /
av: Boolos, George
Publicerad: (1974)

Computational Complexity-A Modern Approach.
av: Arora,Sanjeev, et al.
Publicerad: (2009)

Recursive functions in computer theory
av: Peter, Rozsa
Publicerad: (1981)

Elementary induction on abstract structures /
av: Moschovakis, Yiannis N.
Publicerad: (1974)

Cellular automata a discrete view of the world
av: Schiff, Joel L
Publicerad: (2008)

Recursion sequences
av: Markushevich, A.I.ed
Publicerad: (1975)

Recursion sequences
av: Markushevich
Publicerad: (1975)

Advanced programming and problem solving with Pascal
av: Scheider,G Michael
Publicerad: (1987)

Recursive function theory and logic
av: Yasuhara, Ann
Publicerad: (1971)

How to solve it by computer
av: Dromey,R G
Publicerad: (1999)

Diagonalization and self-reference.
av: Smullyan, Raymond M.
Publicerad: (1996)

Topological Dynamics
av: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Publicerad: (1955)

Visual basic utilities/
av: Bonner, Paul
Publicerad: (1994)

Computer Programming in Pascal
av: Rajaraman V.
Publicerad: (1984)

Logic, sets and recursion
av: Causey, Robert L; Author
Publicerad: (2010)

How to think about algorithms
av: Edmonds, Jeff
Publicerad: (2008)

Theory of program structures : schemes, semantics, verification /
av: Greibach, Sheila
Publicerad: (1975)

Computability theory /
av: Cooper, S. B.
Publicerad: (2004)

Introduction to data structures using C: a simplified approach /
Publicerad: (2009)

Logic, sets and recursion
av: Causey, Robert L.
Publicerad: (2010)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Publicerad: (1977)

Theory of computation /
av: Tourlakis, George J.
Publicerad: (2012)

Proofs and computations /
av: Schwichtenberg, Helmut, et al.
Publicerad: (2012)

How to think about Algorithms
av: Jeff Edmonds
Publicerad: (2008)

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
av: Kleene, Stephen Cole
Publicerad: (1980)

Set Theory for Computing: from decision procedures to declarative programming with sets /
av: Cantone, Domenico et.al
Publicerad: (2001)

Elementary induction on abstract structures /
av: Moschovakis, Yiannis N.
Publicerad: (1974)

Visual basic 6 from the ground up
av: Cornell, Gary
Publicerad: (2000)

Introduction to Languages and the Theory of Computation /
av: Martin,, John C.
Publicerad: (1996)

Automata and computability /
Publicerad: (1997)

Introduction to languages and the theory of computation /
av: Martin, John C.
Publicerad: (2003)

Automata and computability
av: Kozen, Dexter C
Publicerad: (2002)

Java 5 objects first
av: Soroka, Barry I
Publicerad: (2006)

Automata and Computability /
av: Kozen,Dexter C
Publicerad: (1997)

Introduction to languages and the theory of computation.-2nd ed.
av: Martin, John C.
Publicerad: (1997)