関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Rewritingsystems(Computerscience) -- Congresses
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41Qz7IRVsDL.jpg) | Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 516 ) | 中央図書館 | S. Kaplan, M. Okada, (eds.) | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||516 |
2 | ![書影](../Images/noimage.png) | Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings : gw , : us ( Lecture notes in computer science ; 308 ) | 中央図書館 | S. Kaplan, J.-P. Jouannaud (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||308 |
3 | ![書影](../Images/noimage.png) | Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings : gw , : us ( Lecture notes in computer science ; 355 ) | 中央図書館 | N. Dershowitz (ed.) | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||355 |
4 | ![書影](../Images/noimage.png) | Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings : gw , : us ( Lecture notes in computer science ; 488 ) | 中央図書館 | Ronald V. Book, (ed.) | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||488 |
選択行を:
|