C. Kirchner (Kirchner, C.)

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

  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 Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 Proceedings

  ISBN 3540568689 (3-540-56868-9)
  Hardcover, 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'
• 
  Term Rewriting Systems
  

  by C. Kirchner , H. Kirchner

  ISBN 0444887547 (0-444-88754-7)
  Hardcover, Elsevier Science & Technology

  
  Find All Copies

   

  › Find collectible copies of 'Term Rewriting Systems'