Đang tải...

Mã QR

Computability Theory;Vol.62

Chi tiết về thư mục
Tác giả chính:	Weber,Rebecca
Định dạng:	Printed Book
Được phát hành:	American mathematical society
Những chủ đề:	Recursion theory > Computable functions

Những quyển sách tương tự

Recursive functions.-3rd ed.
Bằng: Peter, Rozsa
Được phát hành: (1967)

Recursively enumerable sets and degrees.
Bằng: Soare, Robert J.
Được phát hành: (1987)

Recursion theory for metamathematics.
Bằng: Smullyan, Raymond M.
Được phát hành: (1993)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
Bằng: Fenstad,J.E.ed
Được phát hành: (1974)

Computability and logic /
Bằng: Boolos, George S.
Được phát hành: (2002)

Computability and logic /
Bằng: Boolos, George
Được phát hành: (1974)

Computational Complexity-A Modern Approach.
Bằng: Arora,Sanjeev, et al.
Được phát hành: (2009)

Recursive functions in computer theory
Bằng: Peter, Rozsa
Được phát hành: (1981)

Elementary induction on abstract structures /
Bằng: Moschovakis, Yiannis N.
Được phát hành: (1974)

Cellular automata a discrete view of the world
Bằng: Schiff, Joel L
Được phát hành: (2008)

Recursion sequences
Bằng: Markushevich, A.I.ed
Được phát hành: (1975)

Recursion sequences
Bằng: Markushevich
Được phát hành: (1975)

Advanced programming and problem solving with Pascal
Bằng: Scheider,G Michael
Được phát hành: (1987)

Recursive function theory and logic
Bằng: Yasuhara, Ann
Được phát hành: (1971)

How to solve it by computer
Bằng: Dromey,R G
Được phát hành: (1999)

Diagonalization and self-reference.
Bằng: Smullyan, Raymond M.
Được phát hành: (1996)

Topological Dynamics
Bằng: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Được phát hành: (1955)

Visual basic utilities/
Bằng: Bonner, Paul
Được phát hành: (1994)

Computer Programming in Pascal
Bằng: Rajaraman V.
Được phát hành: (1984)

Logic, sets and recursion
Bằng: Causey, Robert L; Author
Được phát hành: (2010)

How to think about algorithms
Bằng: Edmonds, Jeff
Được phát hành: (2008)

Theory of program structures : schemes, semantics, verification /
Bằng: Greibach, Sheila
Được phát hành: (1975)

Computability theory /
Bằng: Cooper, S. B.
Được phát hành: (2004)

Introduction to data structures using C: a simplified approach /
Được phát hành: (2009)

Logic, sets and recursion
Bằng: Causey, Robert L.
Được phát hành: (2010)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Được phát hành: (1977)

Theory of computation /
Bằng: Tourlakis, George J.
Được phát hành: (2012)

Proofs and computations /
Bằng: Schwichtenberg, Helmut, et al.
Được phát hành: (2012)

How to think about Algorithms
Bằng: Jeff Edmonds
Được phát hành: (2008)

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Bằng: Kleene, Stephen Cole
Được phát hành: (1980)

Set Theory for Computing: from decision procedures to declarative programming with sets /
Bằng: Cantone, Domenico et.al
Được phát hành: (2001)

Elementary induction on abstract structures /
Bằng: Moschovakis, Yiannis N.
Được phát hành: (1974)

Visual basic 6 from the ground up
Bằng: Cornell, Gary
Được phát hành: (2000)

Introduction to Languages and the Theory of Computation /
Bằng: Martin,, John C.
Được phát hành: (1996)

Automata and computability /
Được phát hành: (1997)

Introduction to languages and the theory of computation /
Bằng: Martin, John C.
Được phát hành: (2003)

Automata and computability
Bằng: Kozen, Dexter C
Được phát hành: (2002)

Java 5 objects first
Bằng: Soroka, Barry I
Được phát hành: (2006)

Automata and Computability /
Bằng: Kozen,Dexter C
Được phát hành: (1997)

Introduction to languages and the theory of computation.-2nd ed.
Bằng: Martin, John C.
Được phát hành: (1997)