Claude Kirchner (Kirchner, Claude)

• 
  Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings
  

  by H. Kirchner, Claude Kirchner , International Conference on Automated Deduction 1998 Lindau Bavaria

  ISBN 3540646752 (3-540-64675-2)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings'
• 
  Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday
  

  by Helene Kirchner, Claude Kirchner , Hubert Comon-lundh

  ISBN 3540731466 (3-540-73146-6)
  Softcover, Springer-Verlag New York Inc

  
  Find All Copies

   

  › Find collectible copies of 'Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday'
• 
  Rewriting Techniques and Applications: 5th International Conference, Rta-93 Montreal, Canada, June 16-18, 1993 Proceedings
  

  by Claude Kirchner , International Conference on Rewriting Techniques and Applications 1993

  ISBN 0387568689 (0-387-56868-9)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Rewriting Techniques and Applications: 5th International Conference, Rta-93 Montreal, Canada, June 16-18, 1993 Proceedings'

  More editions of Rewriting Techniques and Applications: 5th International Conference, Rta-93 Montreal, Canada, June 16-18, 1993 Proceedings:

  • Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 Proceedings: ISBN 3540568689 (3-540-56868-9)
    Hardcover, Springer-Verlag
• 
  Unification
  

  by Claude Kirchner

  ISBN 0124095909 (0-12-409590-9)
  Softcover, Academic Pr

  
  Find All Copies

   

  › Find collectible copies of 'Unification'