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

図書
図書
2. Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
Jean-Pierre Jouannaud (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 367 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 845
所蔵情報: loading…
3.

図書
図書
3. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings (: gw ; : us)
M.-C. Gaudel, J.-P. Jouannaud (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xii, 761 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 668
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. TAPSOFT'93: Theory and Practice of Software Development
International Joint Conference on Theory and Practice of Software Development, Marie-Claude Gaudel, Jean-Pierre Jouannaud
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1993
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Term Rewriting
French Spring School of Theoretical Computer Science, Hubert Comon, Jean-Pierre Jouannaud
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼