| NCID | BN00844314 |
| タイトル | コンピュータによる定理の証明 / Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳||コンピュータ ニヨル テイリ ノ ショウメイ |
| 出版者 | 東京 : 日本コンピュータ協会 , 1983.9 |
| 形態 | xii, 346p ; 22cm |
| 別書名 | Symbolic logic and mechanical theorem proving
|
| 注記 | 各章末:参考文献 参考文献: p323-338 |
| シリーズ名 | コンピュータ・サイエンス研究書シリーズ ; 27
|
| 分類 | NDC8:410.96
NDC7:549.92
NDLC:MA41
NDLC:M151 |
| 件名 | NDLSH:記号論理学
NDLSH:人工頭脳
|
| 著者情報 | Chang, Chin-Liang, 1937-
Lee, Richard Char-Tung, 1939-
長尾, 真(1936-) (ナガオ, マコト)
辻井, 潤一(1949-) (ツジイ, ジュンイチ)
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 原作言語 | 英語 |
| 出版国 | 日本 |
| 番号 | NBN : JP85013050 |