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

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

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

検索条件

著者情報：Shostak, Robert, 1931-

図書(1件)

選択行を：

資料名

所蔵館

責任表示

出版者

出版年

所在

1

7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings : gw , : us ( Lecture notes in computer science ; 170 )

中央図書館

edited by R.E. Shostak

Springer-Verlag

1984

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

選択行を

▲ページトップへ