Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday - Siekmann, Jörg H.; Hutter, Dieter; Stephan, Werner (Berlin ; New York : Springer, 2005)
Festschrift.
Includes bibliographical references and index.
Also issued online.
Keywords: Automatic theorem proving; Logic, Symbolic and mathematical; Reasoning -- Automation; Reasoning -- Technique