载入...

QR Code

Recursively enumerable sets and degrees.

书目详细资料
主要作者:	Soare, Robert J.
格式:	Printed Book
语言:	English
出版:	Berlin: Springer , 1987.
主题:	Recursive functions, computable

相似书籍

Recursive functions.-3rd ed.
由: Peter, Rozsa
出版: (1967)

Recursion sequences
由: Markushevich, A.I.ed
出版: (1975)

Recursion sequences
由: Markushevich
出版: (1975)

Recursion theory for metamathematics.
由: Smullyan, Raymond M.
出版: (1993)

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

Logic, sets and recursion
由: Causey, Robert L; Author
出版: (2010)

Logic, sets and recursion
由: Causey, Robert L.
出版: (2010)

Recursive functions in computer theory
由: Peter, Rozsa
出版: (1981)

Recursive function theory and logic
由: Yasuhara, Ann
出版: (1971)

Computability Theory;Vol.62
由: Weber,Rebecca

Elementary induction on abstract structures /
由: Moschovakis, Yiannis N.
出版: (1974)

Cellular automata a discrete view of the world
由: Schiff, Joel L
出版: (2008)

Computability and logic /
由: Boolos, George S.
出版: (2002)

Computability and logic /
由: Boolos, George
出版: (1974)

Advanced programming and problem solving with Pascal
由: Scheider,G Michael
出版: (1987)

Computational Complexity-A Modern Approach.
由: Arora,Sanjeev, et al.
出版: (2009)

Logic, Sets, and recursion
由: Causey, Robert
出版: (2010)

Topological Dynamics
由: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
出版: (1955)

Recursiveness
由: Eilenberg, Samuel
出版: (1970)

How to solve it by computer
由: Dromey,R G
出版: (1999)

Logic, Sets and recursion/
由: Causey, Robert L
出版: (2006)

Logic, sets, and recursion /
由: Causey, Robert L.
出版: (2006)

Logic, sets, and recursion /
由: Causey, Robert L.
出版: (2010)

Logic, sets, and recursion /
由: Causey, Robert L.
出版: (2006)

Logic, sets, and recursion /
由: Causey, Robert L.
出版: (2010)

Logic sets and recursion
由: Causey, Robert L
出版: (2006)

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

Diagonalization and self-reference.
由: Smullyan, Raymond M.
出版: (1996)

Theory of program structures : schemes, semantics, verification /
由: Greibach, Sheila
出版: (1975)

Recursiveness
由: Eilenberg, Samuel
出版: (1970)

Recursiveness /
由: Eilenberg, Samuel
出版: (1970)

Elementary induction on abstract structures /
由: Moschovakis, Yiannis N.
出版: (1974)

Computer Programming in Pascal
由: Rajaraman V.
出版: (1984)

Visual basic 6 from the ground up
由: Cornell, Gary
出版: (2000)

Sets,Models and Recursion Theory
由: Crossley,John.N
出版: (1967)

Enumerability, decidability computability: an introduction to the theory of recursive functions /
由: Hermes, Hans
出版: (1969)

Design and implementation of recursive digital filters
由: Balachandran
出版: (1978)

How to think about algorithms
由: Edmonds, Jeff
出版: (2008)

Recursive functions
由: Peter, Rozsa
出版: (1967)

Recursive functions. /
由: Oen University Course Team
出版: (1973)