close
1.

図書
図書
1. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings (: Berlin)
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
2.

図書
図書
2. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings (: gw ; : us)
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…