WebOPAC Local書誌詳細

ログイン

書誌詳細

東海大学蔵書検索

前の画面へ戻る

	10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings M.E. Stickel (ed.) ; : gw, : us. -- Springer-Verlag, 1990. -- (Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence). <TY10032527> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じるレビューを見る詳細情報を見る書誌URL：

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings M.E. Stickel (ed.) ; : gw, : us. -- Springer-Verlag, 1990. -- (Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence). <TY10032527> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じるレビューを見る詳細情報を見る書誌URL：

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

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

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約	WEB書棚
0001		12号館	開架室	549.92/L/449	0010006643175	配架済		0件


No.	0001
巻号
所蔵館	12号館
配置場所	開架室
請求記号	549.92/L/449
資料ID	0010006643175
状態	配架済
返却予定日
予約	0件
WEB書棚

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings / M.E. Stickel (ed.)

出版・頒布事項

Berlin ; Tokyo : Springer-Verlag , c1990

形態事項

xvi, 688 p. : ill. ; 25 cm

巻号情報

巻次等	: gw
ISBN	3540528857

巻号情報

巻次等	: us
ISBN	0387528857

書誌構造リンク

Lecture notes in computer science <TY10000225> 449 . Lecture notes in artificial intelligence

その他の標題

背表紙タイトル:CADE-10 : 10th International Conference on Automated Deducation

注記

Includes index

学情ID

BA10575115

本文言語コード

英語

著者標目リンク

*International Conference on Automated Deduction <> (10th : 1990 : Kaiserslautern, Germany)

著者標目リンク

Stickel, Mark E., 1947- <>

分類標目

LCC:QA76.9.A96

分類標目

DC20:511.3

ローカル分類標目

NDC:549.92

件名標目等

Automatic theorem proving -- Congresses

件名標目等

Logic, Symbolic and mathematical -- Congresses

レコードID

TY10032527

このページのTOPへ

前の画面へ戻る

このページのTOPへ