年 〜
年

検索結果 3 件

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)
紙図書
Springerc2009.<M17-10-755>
国立国会図書館
  • 著者標目Treinen, Ralf. International Conference on ...

Rewriting techniques and applications : 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings

Rewriting techniques and applications : 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings
紙図書
Ralf Treinen (ed.)Springerc2009
全国の図書館
  • 著者標目International Conference on Rewriting Techniques and Applications Treinen, Ralf

Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures

Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
デジタル図書
Hubert Comon, Claude Marché, Ralf Treinen (eds.)Springer1899
全国の図書館
  • 著者標目CCL Comon, Hubert Marché, Claude Treinen, Ralf

検索結果は以上です。