関連資料一覧:(本学所蔵)
検索条件
著者情報:International Conference on Rewriting Techniques and Applications
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | 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 |
2 | | Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings : gw , : us ( Lecture notes in computer science ; 256 ) | 中央図書館 | edited by Pierre Lescanne | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||256 |
3 | | 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 |
4 | | Rewriting techniques and applications : Dijon, France, May 20-22, 1985 : gw , : us ( Lecture notes in computer science ; 202 ) | 中央図書館 | edited by Jean-Pierre Jouannaud | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||202 |
選択行を
|