ISBNコード 9780486614717
Computability and Unsolvability/DOVER PUBN INC/Martin Davis
商品基本情報
| 商品イメージ |  |
|---|---|
| 価格調査 | ※各サイトの検索結果ページが表示されます。    |
| 一括価格調査 | 一括価格調査ツールで検索 |
| コード番号 | 9780486614717 |
| コードタイプ | ISBN |
| JANシンボル |  |
| 商品名 | Computability and Unsolvability/DOVER PUBN INC/Martin Davis |
| 発売日 | 1985年 |
| 商品ジャンル | 本・雑誌・コミック > 洋書 > COMPUTERS ＆ SCIENCE |
| コメント | Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more. |
| 広告 |
商品詳細情報
| 著者名 | Martin Davis |
|---|---|
| 出版年度 | 1985 |
| 出版社名 | DOVER PUBN INC |
| シリーズ名 | Dover Books on Computer Science |
| 言語情報 | ENG |
| ページ数情報 | 288 |
| フォーマット代表(名称) | Ｐａｐｅｒｂａｃｋ |
| 広告 |