Yüklüyor......

QR Kod

Computability Theory;Vol.62

Detaylı Bibliyografya
Yazar:	Weber,Rebecca
Materyal Türü:	Printed Book
Baskı/Yayın Bilgisi:	American mathematical society
Konular:	Recursion theory > Computable functions

Benzer Materyaller

Yüklüyor......

Recursive functions.-3rd ed.
Yazar:: Peter, Rozsa
Baskı/Yayın Bilgisi: (1967)

Yüklüyor......

Recursively enumerable sets and degrees.
Yazar:: Soare, Robert J.
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Recursion theory for metamathematics.
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
Yazar:: Fenstad,J.E.ed
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Computability and logic /
Yazar:: Boolos, George S.
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

Computability and logic /
Yazar:: Boolos, George
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Computational Complexity-A Modern Approach.
Yazar:: Arora,Sanjeev, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Recursive functions in computer theory
Yazar:: Peter, Rozsa
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Elementary induction on abstract structures /
Yazar:: Moschovakis, Yiannis N.
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Cellular automata a discrete view of the world
Yazar:: Schiff, Joel L
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Recursion sequences
Yazar:: Markushevich, A.I.ed
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

Recursion sequences
Yazar:: Markushevich
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

Advanced programming and problem solving with Pascal
Yazar:: Scheider,G Michael
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Recursive function theory and logic
Yazar:: Yasuhara, Ann
Baskı/Yayın Bilgisi: (1971)

Yüklüyor......

How to solve it by computer
Yazar:: Dromey,R G
Baskı/Yayın Bilgisi: (1999)

Yüklüyor......

Diagonalization and self-reference.
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

Topological Dynamics
Yazar:: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Baskı/Yayın Bilgisi: (1955)

Yüklüyor......

Visual basic utilities/
Yazar:: Bonner, Paul
Baskı/Yayın Bilgisi: (1994)

Yüklüyor......

Computer Programming in Pascal
Yazar:: Rajaraman V.
Baskı/Yayın Bilgisi: (1984)

Yüklüyor......

Logic, sets and recursion
Yazar:: Causey, Robert L; Author
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

How to think about algorithms
Yazar:: Edmonds, Jeff
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Theory of program structures : schemes, semantics, verification /
Yazar:: Greibach, Sheila
Baskı/Yayın Bilgisi: (1975)

Yüklüyor......

Computability theory /
Yazar:: Cooper, S. B.
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Introduction to data structures using C: a simplified approach /
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Logic, sets and recursion
Yazar:: Causey, Robert L.
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Baskı/Yayın Bilgisi: (1977)

Yüklüyor......

Theory of computation /
Yazar:: Tourlakis, George J.
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

Proofs and computations /
Yazar:: Schwichtenberg, Helmut, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

How to think about Algorithms
Yazar:: Jeff Edmonds
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Yazar:: Kleene, Stephen Cole
Baskı/Yayın Bilgisi: (1980)

Yüklüyor......

Set Theory for Computing: from decision procedures to declarative programming with sets /
Yazar:: Cantone, Domenico et.al
Baskı/Yayın Bilgisi: (2001)

Yüklüyor......

Elementary induction on abstract structures /
Yazar:: Moschovakis, Yiannis N.
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Visual basic 6 from the ground up
Yazar:: Cornell, Gary
Baskı/Yayın Bilgisi: (2000)

Yüklüyor......

Introduction to Languages and the Theory of Computation /
Yazar:: Martin,, John C.
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

Automata and computability /
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

Introduction to languages and the theory of computation /
Yazar:: Martin, John C.
Baskı/Yayın Bilgisi: (2003)

Yüklüyor......

Automata and computability
Yazar:: Kozen, Dexter C
Baskı/Yayın Bilgisi: (2002)

Yüklüyor......

Java 5 objects first
Yazar:: Soroka, Barry I
Baskı/Yayın Bilgisi: (2006)

Yüklüyor......

Automata and Computability /
Yazar:: Kozen,Dexter C
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

Introduction to languages and the theory of computation.-2nd ed.
Yazar:: Martin, John C.
Baskı/Yayın Bilgisi: (1997)