yr 〜
yr

Search results 3

Term rewriting and applications : 16th international conference, RTA 2005 : Nara, Japan, April 19-21, 2005 : proceedings. : 16th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Apr 2005, Nara, Japan. (Lecture Notes in Computer Science ; 3467)

Term rewriting and applications : 16th international conference, RTA 2005 : Nara, Japan, April 19-21, 2005 : proceedings. : 16th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Apr 2005, Nara, Japan. (Lecture Notes in Computer Science ; 3467)
Paper図書
Springerc2005.<M17-05-1684>
National Diet Library

Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings

Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Paper図書
Jürgen Giesl (ed.)Springerc2005
Other Libraries in Japan

Lecture notes in computer science

Lecture notes in computer science
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...ase management Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings Requirements engineering : fo...

Reached to the end of result.