Jump to main content

yr 〜
yr

Search results 5

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
Paper図書
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingComon-Lundh, Hubert Kirchner, Claude Kirchner, Hélène

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.). (Lecture notes in computer science)

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8819>
National Diet Library
  • Author Heading...treal, Canada) Kirchner, Claude.

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings : pbk

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings : pbk
Paper図書
Claude Kirchner, Hélène Kirchner (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Kirchner, Claude Kirchner, Hélène

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings : gw : us

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings : gw : us
Paper図書
Claude Kirchner (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingKirchner, Claude International Conference on R...

Unification

Unification
Paper図書
edited by Claude KirchnerAcademic Pressc1990
Other Libraries in Japan
  • Author HeadingKirchner, Claude

Reached to the end of result.

RSS