Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings [E-Book] /  

Baader, Franz
2007

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings [E-Book] /  

Baader, Franz
2005

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings [E-Book] /  

Baader, Franz
2003