Claude Kirchner
2 published titles
Unification
(Contributor)
1 edition
- ISBN: 0124095909
- Academic
- 1990
- Details
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540646752
- Springer
- 1998
- Details
