関連資料一覧:(本学所蔵)
検索条件
著者情報:Kleine Büning, Hans, 1948-
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](../Images/noimage.png) | CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings : gw , : us ( Lecture notes in computer science ; 440 ) | 中央図書館 | E. Börger, H. Kleine Büning, M.M. Richter (eds.) | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||440 |
2 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/11l1ZMw6%2BhL.jpg) | CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings : gw , : us ( Lecture notes in computer science ; 329 ) | 中央図書館 | E. Börger, H. Kleine Büning, M.M. Richter (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||329 |
3 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/21p1BCTpgDL.jpg) | CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 385 ) | 中央図書館 | E. Börger, H. Kleine Büning, M.M. Richter (eds.) | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||385 |
選択行を
|