関連資料一覧:(本学所蔵)
検索条件
著者情報:International Conference on Automated Deduction
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](../Images/noimage.png) | 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings : gw , : us ( Lecture notes in computer science ; 230 ) | 中央図書館 | edited by Jörg H. Siekmann | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||230 |
2 | ![書影](../Images/noimage.png) | 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 310 ) | 中央図書館 | E. Lusk, R. Overbeek (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||310 |
3 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/31eOfFEflTL.jpg) | 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 | 中央5階洋 007.1||L 49||170 |
選択行を
|