コンピュ-タ ニ ヨル テイリ ノ ショウメイ
コンピュ-タによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
(コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27)
資料種別 | 図書 |
---|---|
出版者 | 東京 : 日本コンピュ-タ協会 |
出版年 | 1983.9 |
大きさ | xii,346p ; 22cm |
本文言語 | 日本語 |
書誌ID | BK00032931 |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 状 態 | 利用注記 | コメント | 資料番号 | 請求メモ | 予約 | 仮想書架 |
---|---|---|---|---|---|---|---|---|---|
書庫1F(開架) |
|
N007.6=32=27 |
|
|
03500000190 |
書誌詳細を非表示
別書名 | 原タイトル:Symbolic logic and mechanical theorem proving |
---|---|
著者標目 | Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939- 長尾, 真(1936-) <ナガオ, マコト> 辻井, 潤一(1949-) <ツジイ, ジュンイチ> |
一般注記 | 各章末:参考文献 参考文献:p323〜338 |
件 名 | NDLSH:記号論理学 NDLSH:人工頭脳 |
分 類 | NDC8:410.96 NDC7:549.92 NDLC:MA41 NDLC:M151 |
巻冊次 | PRICE:6000円 |
NCID | BN00844314 |