Publication

Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann

Dieter Hutter, Werner Stephan

Springer-Verlag, LNCS 2605 2005.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz