ロード中...

QRコード

Computability Theory;Vol.62

書誌詳細
第一著者:	Weber,Rebecca
フォーマット:	Printed Book
出版事項:	American mathematical society
主題:	Recursion theory > Computable functions

類似資料

ロード中...

Recursive functions.-3rd ed.
著者:: Peter, Rozsa
出版事項: (1967)

ロード中...

Recursively enumerable sets and degrees.
著者:: Soare, Robert J.
出版事項: (1987)

ロード中...

Recursion theory for metamathematics.
著者:: Smullyan, Raymond M.
出版事項: (1993)

ロード中...

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

ロード中...

Computability and logic /
著者:: Boolos, George S.
出版事項: (2002)

ロード中...

Computability and logic /
著者:: Boolos, George
出版事項: (1974)

ロード中...

Computational Complexity-A Modern Approach.
著者:: Arora,Sanjeev, 等
出版事項: (2009)

ロード中...

Recursive functions in computer theory
著者:: Peter, Rozsa
出版事項: (1981)

ロード中...

Elementary induction on abstract structures /
著者:: Moschovakis, Yiannis N.
出版事項: (1974)

ロード中...

Cellular automata a discrete view of the world
著者:: Schiff, Joel L
出版事項: (2008)

ロード中...

Recursion sequences
著者:: Markushevich, A.I.ed
出版事項: (1975)

ロード中...

Recursion sequences
著者:: Markushevich
出版事項: (1975)

ロード中...

Advanced programming and problem solving with Pascal
著者:: Scheider,G Michael
出版事項: (1987)

ロード中...

Recursive function theory and logic
著者:: Yasuhara, Ann
出版事項: (1971)

ロード中...

How to solve it by computer
著者:: Dromey,R G
出版事項: (1999)

ロード中...

Diagonalization and self-reference.
著者:: Smullyan, Raymond M.
出版事項: (1996)

ロード中...

Topological Dynamics
著者:: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
出版事項: (1955)

ロード中...

Visual basic utilities/
著者:: Bonner, Paul
出版事項: (1994)

ロード中...

Computer Programming in Pascal
著者:: Rajaraman V.
出版事項: (1984)

ロード中...

Logic, sets and recursion
著者:: Causey, Robert L; Author
出版事項: (2010)

ロード中...

How to think about algorithms
著者:: Edmonds, Jeff
出版事項: (2008)

ロード中...

Theory of program structures : schemes, semantics, verification /
著者:: Greibach, Sheila
出版事項: (1975)

ロード中...

Computability theory /
著者:: Cooper, S. B.
出版事項: (2004)

ロード中...

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

ロード中...

Logic, sets and recursion
著者:: Causey, Robert L.
出版事項: (2010)

ロード中...

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

ロード中...

Theory of computation /
著者:: Tourlakis, George J.
出版事項: (2012)

ロード中...

Proofs and computations /
著者:: Schwichtenberg, Helmut, 等
出版事項: (2012)

ロード中...

How to think about Algorithms
著者:: Jeff Edmonds
出版事項: (2008)

ロード中...

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
著者:: Kleene, Stephen Cole
出版事項: (1980)

ロード中...

Set Theory for Computing: from decision procedures to declarative programming with sets /
著者:: Cantone, Domenico et.al
出版事項: (2001)

ロード中...

Elementary induction on abstract structures /
著者:: Moschovakis, Yiannis N.
出版事項: (1974)

ロード中...

Visual basic 6 from the ground up
著者:: Cornell, Gary
出版事項: (2000)

ロード中...

Introduction to Languages and the Theory of Computation /
著者:: Martin,, John C.
出版事項: (1996)

ロード中...

Automata and computability /
出版事項: (1997)

ロード中...

Introduction to languages and the theory of computation /
著者:: Martin, John C.
出版事項: (2003)

ロード中...

Automata and computability
著者:: Kozen, Dexter C
出版事項: (2002)

ロード中...

Java 5 objects first
著者:: Soroka, Barry I
出版事項: (2006)

ロード中...

Automata and Computability /
著者:: Kozen,Dexter C
出版事項: (1997)

ロード中...

Introduction to languages and the theory of computation.-2nd ed.
著者:: Martin, John C.
出版事項: (1997)