Loading...

QR Code

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /

Bibliografiske detaljer
Hovedforfatter:	Fenstad,J.E.ed
Andre forfattere:	Fenstad, Jens Erik, Gandy, R. O., Sacks, Gerald E.
Format:	Printed Book
Sprog:	English
Udgivet:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1974.
Fag:	Recursion theory

Lignende værker

Recursion theory for metamathematics.
af: Smullyan, Raymond M.
Udgivet: (1993)

Recursion sequences
af: Markushevich, A.I.ed
Udgivet: (1975)

Recursion sequences
af: Markushevich
Udgivet: (1975)

Recursive functions.-3rd ed.
af: Peter, Rozsa
Udgivet: (1967)

Recursively enumerable sets and degrees.
af: Soare, Robert J.
Udgivet: (1987)

Logic, sets and recursion
af: Causey, Robert L; Author
Udgivet: (2010)

Logic, sets and recursion
af: Causey, Robert L.
Udgivet: (2010)

Recursive function theory and logic
af: Yasuhara, Ann
Udgivet: (1971)

Recursive functions in computer theory
af: Peter, Rozsa
Udgivet: (1981)

General recursion theory /
af: Fenstad, Jens E.
Udgivet: (1980)

Advanced programming and problem solving with Pascal
af: Scheider,G Michael
Udgivet: (1987)

Computability Theory;Vol.62
af: Weber,Rebecca

Diagonalization and self-reference.
af: Smullyan, Raymond M.
Udgivet: (1996)

Topological Dynamics
af: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Udgivet: (1955)

Recursiveness
af: Eilenberg, Samuel
Udgivet: (1970)

Elementary induction on abstract structures /
af: Moschovakis, Yiannis N.
Udgivet: (1974)

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

How to solve it by computer
af: Dromey,R G
Udgivet: (1999)

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

How to think about algorithms
af: Edmonds, Jeff
Udgivet: (2008)

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

Recursiveness
af: Eilenberg, Samuel
Udgivet: (1970)

Recursiveness /
af: Eilenberg, Samuel
Udgivet: (1970)

How to think about Algorithms
af: Jeff Edmonds
Udgivet: (2008)

Computer Programming in Pascal
af: Rajaraman V.
Udgivet: (1984)

Visual basic 6 from the ground up
af: Cornell, Gary
Udgivet: (2000)

Sets,Models and Recursion Theory
af: Crossley,John.N
Udgivet: (1967)

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

Higher recursion theory/
af: Sacks, Gerald E
Udgivet: (2016)

Theory of recursive functions and effective computability
af: Jr, Harley Rogers
Udgivet: (1967)

Computability and logic /
af: Boolos, George
Udgivet: (1974)

Computability and logic /
af: Boolos, George S.
Udgivet: (2002)

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

Recursive macroeconomic theory /
af: Ljungqvist , Lars .
Udgivet: (2004)

Theory of program structures : schemes, semantics, verification /
af: Greibach, Sheila
Udgivet: (1975)

Recursive functions
af: Peter, Rozsa
Udgivet: (1967)

Recursive functions. /
af: Oen University Course Team
Udgivet: (1973)

Logic, Sets and recursion/
af: Causey, Robert L
Udgivet: (2006)

Logic, sets, and recursion /
af: Causey, Robert L.
Udgivet: (2006)

Logic, sets, and recursion /
af: Causey, Robert L.
Udgivet: (2010)