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  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
2.

図書
図書
2. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings (: gw ; : us)
S. Kaplan, M. Okada, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 461 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 516
所蔵情報: loading…
3.

図書
図書
3. Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings (: gw ; : us)
M. Rusinowitch, J.L. Rémy (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1993  xi, 501 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 656
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼