関連資料一覧：（本学所蔵）

検索条件入力＞書誌詳細＞関連資料一覧：（本学所蔵）

関連資料一覧：（本学所蔵）

検索条件

著者情報：Conference on Automated Deduction

図書(1件)

選択行を：

資料名

所蔵館

責任表示

出版者

出版年

所在

1

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : gw , : us ( Lecture notes in computer science ; 87 )

中央図書館

edited by W. Bibel and R. Kowalski

Springer-Verlag

1980

中央５階洋 007.1||L 49||87

選択行を

▲ページトップへ