| 出版情報 |
東京 : 日本コンピュータ協会 , 1983.9 |
| 大きさ |
xii, 346p ; 22cm |
| 別書名 |
原タイトル:Symbolic logic and mechanical theorem proving |
| 一般注記 |
各章末:参考文献 参考文献: p323-338 |
| 著者標目 |
Chang, Chin-Liang, 1937-
Lee, Richard Char-Tung, 1939-
長尾, 真(1936-) <ナガオ, マコト>
辻井, 潤一(1949-) <ツジイ, ジュンイチ>
|
| 件 名 |
NDLSH:記号論理学
NDLSH:人工頭脳
|
| 分 類 |
NDC8:410.96
NDC7:549.92
NDLC:MA41
NDLC:M151
|
| 本文言語 |
日本語 |
| 書誌ID |
TB10005929 |
| NCID |
BN00844314
|
| 巻冊次 |
PRICE:6000円
|
