Export Mendeley
＜Books＞
コンピュータ ニヨル テイリ ノ ショウメイ
コンピュータによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
(コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27)
| Material Type | Books |
|---|---|
| Publisher | 東京 : 日本コンピュータ協会 |
| Classification | NDC8:410.96 NDC7:549.92 NDLC:MA41 NDLC:M151 |
| Year | 1983.9 |
| Size | xii,346p ; 22cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | Reserve |
|---|---|---|---|---|---|---|
| 3F |
|
418B||Com||27 | 10052538 |
|
Hide details.
| Other titles | original title:Symbolic logic and mechanical theorem proving |
|---|---|
| Notes | 各章末:参考文献 参考文献:p323～338 |
| Authors | Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939- 長尾, 真(1936-) <ナガオ, マコト> 辻井, 潤一(1949-) <ツジイ, ジュンイチ> |
| Subjects | NDLSH:記号論理学 NDLSH:人工頭脳 |
| ID | 1000000715 |
| NCID | BN00844314 |