Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann
@book{pub1878,
author = {
Hutter, Dieter
and
Stephan, Werner
},
title = {Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann},
year = {2005},
publisher = {Springer-Verlag, LNCS 2605}
}