Mechanizing mathematical reasoning
Subtitle: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
By: Dieter Hutter, Werner Stephan (eds.).
Contributors: Siekmann, Jörg H.; Hutter, Dieter.; Stephan, Werner.
Series: Lecture notes in computer science,; 2605.; Lecture notes in artifical intelligence; Lecture notes in computer science ;; 2605.; Lecture notes in artifical intelligence.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 563
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.; Reasoning -- Automation.; Reasoning -- Technique.
Notes: Includes bibliographical references and index.
Festschrift.
Also issued online.