<図書>
Enumerability, decidability, computability; an introduction to the theory of recursive functions / by Hans Hermes. Translated by G.T Herman and O. Plassmann.
(Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd.127)
出版者 | Berlin : Springer |
---|---|
出版年 | 1965 |
大きさ | ix, 245 p. illus. 24 cm. |
著者標目 | Hermes, Hans |
件 名 | Recursive functions Algorithms Godel's theorem Computable functions |
一般注記 | Includes bibliographies. |
所蔵情報を非表示
配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|
数学図書室(図書) | 図書 |
|
418//H53 |
|
|
|
|
|
|
2013015028 |
書誌詳細を非表示
データ種別 | 図書 |
---|---|
統一書名標目 | AufzC̄hlbarkeit, Entscheidbarkeit, Berechenbarkeit. English |
分 類 | DC:164 |
書誌ID | 1000048536 |
NCID | AA00660333 |
類似資料
この資料の利用統計
このページへのアクセス回数:2回
※2017年9月4日以降
全貸出数:0回
(3か月以内の貸出:0回)