close
1.

電子ブック
ＥＢ
1. Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
edited by Jean-Pierre Jouannaud, Zhong Shao
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7086
オンライン: http://dx.doi.org/10.1007/978-3-642-25379-9
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. 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
シリーズ名: Lecture notes in computer science ; 845
所蔵情報: loading…
4.

図書
図書
4. 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
シリーズ名: Lecture notes in computer science ; 668
所蔵情報: loading…
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. 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…