1.

図書
図書
1. Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course (: Berlin ; : New York)
Hubert Comon, Jean-Pierre Jouannaud, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995
シリーズ名: Lecture notes in computer science ; 909
所蔵情報: loading…
2.

図書
図書
2. Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings (: gw ; : us)
S. Kaplan, J.-P. Jouannaud (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 308
所蔵情報: loading…
3.

図書
図書
3. Rewriting techniques and applications : Dijon, France, May 20-22, 1985 (: gw ; : us)
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
4.

図書
図書
4. Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 (: gw ; : us)
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 201
所蔵情報: loading…