コンピュータ ニヨル テイリ ノ ショウメイ
コンピュータによる定理の証明 / Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
(コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27)
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 日本コンピュータ協会 |
| 出版年 | 1983.9 |
| 本文言語 | 日本語 |
| 大きさ | xii, 346p ; 22cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 予約 | 指定図書グループ |
|---|---|---|---|---|---|---|---|---|
| 2F図書 (自然科学・技術・産業・芸術) |
|
549.92||C37||27 | 9852275991 |
|
|
|
||
| 積層4層 |
|
549.92||C37||27(B) | 9852296633 |
|
|
|
書誌詳細を非表示
| 別書名 | 原タイトル:Symbolic logic and mechanical theorem proving |
|---|---|
| 一般注記 | 各章末:参考文献 参考文献: p323-338 |
| 著者標目 | Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939- 長尾, 真(1936-) <ナガオ, マコト> 辻井, 潤一(1949-) <ツジイ, ジュンイチ> |
| 分 類 | NDC8:410.96 NDC7:549.92 NDLC:MA41 NDLC:M151 |
| 件 名 | NDLSH:記号論理学 NDLSH:人工頭脳 |
| 書誌ID | TW00042861 |
| NCID | BN00844314 |
