H. Kirchner
3 published titles
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
Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 2000
(Contributor)
1 edition
- ISBN: 3540672818
- Springer
- 2000
- Details
Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540441441
- Springer
- 2002
- Details
