Carregant...

Codi QR

Recursively enumerable sets and degrees.

Dades bibliogràfiques
Autor principal:	Soare, Robert J.
Format:	Printed Book
Idioma:	English
Publicat:	Berlin: Springer , 1987.
Matèries:	Recursive functions, computable

Ítems similars

Recursive functions.-3rd ed.
per: Peter, Rozsa
Publicat: (1967)

Recursion sequences
per: Markushevich, A.I.ed
Publicat: (1975)

Recursion sequences
per: Markushevich
Publicat: (1975)

Recursion theory for metamathematics.
per: Smullyan, Raymond M.
Publicat: (1993)

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

Logic, sets and recursion
per: Causey, Robert L; Author
Publicat: (2010)

Logic, sets and recursion
per: Causey, Robert L.
Publicat: (2010)

Recursive functions in computer theory
per: Peter, Rozsa
Publicat: (1981)

Recursive function theory and logic
per: Yasuhara, Ann
Publicat: (1971)

Computability Theory;Vol.62
per: Weber,Rebecca

Elementary induction on abstract structures /
per: Moschovakis, Yiannis N.
Publicat: (1974)

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

Computability and logic /
per: Boolos, George S.
Publicat: (2002)

Computability and logic /
per: Boolos, George
Publicat: (1974)

Advanced programming and problem solving with Pascal
per: Scheider,G Michael
Publicat: (1987)

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

Logic, Sets, and recursion
per: Causey, Robert
Publicat: (2010)

Topological Dynamics
per: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Publicat: (1955)

Recursiveness
per: Eilenberg, Samuel
Publicat: (1970)

How to solve it by computer
per: Dromey,R G
Publicat: (1999)

Logic, Sets and recursion/
per: Causey, Robert L
Publicat: (2006)

Logic, sets, and recursion /
per: Causey, Robert L.
Publicat: (2006)

Logic, sets, and recursion /
per: Causey, Robert L.
Publicat: (2010)

Logic, sets, and recursion /
per: Causey, Robert L.
Publicat: (2006)

Logic, sets, and recursion /
per: Causey, Robert L.
Publicat: (2010)

Logic sets and recursion
per: Causey, Robert L
Publicat: (2006)

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

Diagonalization and self-reference.
per: Smullyan, Raymond M.
Publicat: (1996)

Theory of program structures : schemes, semantics, verification /
per: Greibach, Sheila
Publicat: (1975)

Recursiveness
per: Eilenberg, Samuel
Publicat: (1970)

Recursiveness /
per: Eilenberg, Samuel
Publicat: (1970)

Elementary induction on abstract structures /
per: Moschovakis, Yiannis N.
Publicat: (1974)

Computer Programming in Pascal
per: Rajaraman V.
Publicat: (1984)

Visual basic 6 from the ground up
per: Cornell, Gary
Publicat: (2000)

Sets,Models and Recursion Theory
per: Crossley,John.N
Publicat: (1967)

Enumerability, decidability computability: an introduction to the theory of recursive functions /
per: Hermes, Hans
Publicat: (1969)

Design and implementation of recursive digital filters
per: Balachandran
Publicat: (1978)

How to think about algorithms
per: Edmonds, Jeff
Publicat: (2008)

Recursive functions
per: Peter, Rozsa
Publicat: (1967)

Recursive functions. /
per: Oen University Course Team
Publicat: (1973)