<図書>
Theory of recursive functions and effective computability
| 責任表示 | Hartley Rogers, Jr |
|---|---|
| データ種別 | 図書 |
| 出版情報 | Cambridge, Mass. : MIT Press , 1987 |
| 本文言語 | 英語 |
| 大きさ | xxi, 482 p. : ill. ; 23 cm |
| 概要 | (Reprint of the 1967 edition) |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: pbk | 理系図1F 開架 | 410.9/R 62 | 2000 |
|
031212017500314 |
|
書誌詳細
| 一般注記 | Original ed. published by McGraw-Hill, 1967 Bibliography: p. 459-468 Includes indexes |
|---|---|
| 著者標目 | *Rogers, H. (Hartley), 1926- |
| 件 名 | LCSH:Recursive functions LCSH:Computable functions |
| 分 類 | LCC:QA9.615 DC19:511.3 NDLC:MA131 |
| 書誌ID | 1001651739 |
| ISBN | 0262680521 |
| NCID | BA00610854 |
| 巻冊次 | : pbk ; ISBN:0262680521 |
| 登録日 | 2018.02.22 |
| 更新日 | 2018.02.22 |
Mendeley出力