WebOPAC Local書誌詳細

検索トップへ

書誌詳細

関西学院大学図書館

検索結果一覧へ戻る

	コンピュータによる定理の証明 Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳. -- 日本コンピュータ協会, 1983.9. -- (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27). <BW03531481> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見るこのページのURL：

コンピュータによる定理の証明 Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳. -- 日本コンピュータ協会, 1983.9. -- (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27). <BW03531481> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見るこのページのURL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	配架場所	請求記号	資料ID	状態	返却予定日	予約
0001		上ケ原館外書庫図書	510.78:177:27	0096148903			0件


No.	0001
巻号
配架場所	上ケ原館外書庫図書
請求記号	510.78:177:27
資料ID	0096148903
状態
返却予定日
予約	0件

このページのTOPへ

書誌詳細

標題および責任表示	コンピュータによる定理の証明 / Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳コンピュータニヨルテイリノショウメイ
出版事項	東京 : 日本コンピュータ協会 , 1983.9
形態	xii, 346p ; 22cm
シリーズ名等	コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編\|\|コンピュータサイエンスケンキュウショシリーズ <BW02001493> 27//a
その他の標題	原タイトル:Symbolic logic and mechanical theorem proving
注記	各章末:参考文献参考文献: p323-338
NCID	BN00844314
本文言語	日本語
著者標目	Chang, Chin-Liang, 1937- <AU00204662>
著者標目	Lee, Richard Char-Tung, 1939- <AU00204663>
著者標目	長尾, 真(1936-)\|\|ナガオ, マコト <AU00000694>
著者標目	辻井, 潤一(1949-)\|\|ツジイ, ジュンイチ <AU00005673>
分類標目	数学 NDC8:410.96
分類標目	NDC7:549.92
分類標目	科学技術 NDLC:MA41
分類標目	科学技術 NDLC:M151
件名標目等	記号論理学\|\|キゴウロンリガク
件名標目等	人工頭脳\|\|ジンコウズノウ

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ