WebOPAC Local書誌詳細

図書館HP | ログイン

書誌詳細

東京都立大学図書館

検索結果一覧へ戻る

コンピュータによる定理の証明

Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳. -- 日本コンピュータ協会, 1983. -- (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27). <BB02016177>

登録タグ：

登録されているタグはありません

便利機能：

詳細情報を見る

書誌URL：

コンピュータによる定理の証明

Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳. -- 日本コンピュータ協会, 1983. -- (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27). <BB02016177>

登録タグ：

登録されているタグはありません

便利機能：

詳細情報を見る

書誌URL：

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

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

No.	巻号	所蔵館	配置場所	資料ID	請求記号	状態	返却予定日	予約	WEB書棚
0001		本館	本館：B2南_和図書	010688177	/007/KO78N/27			0件
0002		日野館	日野：閉架書庫（一般）	101035913	/007.1/C33			0件


No.	0001
巻号
所蔵館	本館
配置場所	本館：B2南_和図書
資料ID	010688177
請求記号	/007/KO78N/27
状態
返却予定日
予約	0件
WEB書棚

No.	0002
巻号
所蔵館	日野館
配置場所	日野：閉架書庫（一般）
資料ID	101035913
請求記号	/007.1/C33
状態
返却予定日
予約	0件
WEB書棚

このページのTOPへ

書誌詳細

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

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ