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}
}