The theory of computability : programs, machines, effectiveness and feasibility

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

R. Sommerhalder, S.C. van Westrhenen

言語:

英語

出版情報:

Wokingham, England ; Tokyo : Addison-Wesley Pub. Co., c1988

形態:

xii, 441 p. ; 24 cm

著者名:

シリーズ名:

International computer science series <BA00203522>

書誌ID:

BA04959917

ISBN:

9780201142143 [0201142147]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Algorithms; Computable functions; Computational complexity
分類・件名:	LCC : QA9.58 DDC : 511/.8 LCSH : Algorithms LCSH : Computational complexity LCSH : Computable functions
LCCN:	88016809
注記:	Bibliography: p. 429-433 Includes index
登録日:	2016-09-28

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computers and intractability : a guide to the theory of NP-completeness Garey, Michael R., Johnson, David S., 1945- W. H. Freeman	7 図書 Computability and logic Boolos, George, Jeffrey, Richard C. Cambridge University Press
2 図書 Introduction to computability Hennie, Frederick C. Addison-Wesley Pub. Co.	8 図書 Computability and logic Boolos, George, Jeffrey, Richard C. Cambridge University Press
3 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions Hermes, Hans Springer	9 図書 Theory of recursive functions and effective computability Rogers, H. (Hartley), 1926- McGraw-Hill
4 図書 Computability, complexity, logic Börger, Egon, 1946- North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.	10 図書 Computability, an introduction to recursive function theory Cutland, Nigel Cambridge University Press
5 図書 Computability, enumerability, unsolvability : directions in recursion theory Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society Cambridge University Press	11 図書 Computability Tourlakis, George J. Reston Pub. Co.
6 図書 A programming approach to computability Kfoury, A. J., Moll, Robert N., Arbib, Michael A., 1940- Springer-Verlag	12 図書 Computability Weihrauch, Klaus, 1943- Springer-Verlag