Jump to main content

yr 〜
yr

Search results 3

Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings

Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
Paper図書
Vincent van Oostrom (ed.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Oostrom, Vincent van

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 : pbk

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 : pbk
Paper図書
edited by Jan van Eijck, Vincent van Oostrom, Albert VisserA K Petersc2004
Other Libraries in Japan
  • Author Heading..., J. van (Jan) Oostrom, Vincent van Visser, Albert Association fo...

Rewriting techniques and applications : 15th international conference, RTA 2004 : Aachen, Germany, June 3-5, 2004 : proceedings. : Jun 2004, Aachen, Germany. (Lecture Notes in Computer Science ; 3091)

Rewriting techniques and applications : 15th international conference, RTA 2004 : Aachen, Germany, June 3-5, 2004 : proceedings. : Jun 2004, Aachen, Germany. (Lecture Notes in Computer Science ; 3091)
Paper図書
Springerc2004.<M17-04-3213>
National Diet Library
  • Author HeadingOostrom, Vincent van, 1966- International Conferen...

Reached to the end of result.

RSS