Cover Image

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /

Show other versions (1)
Bibliographic Details
Other Authors: Siekmann, Jörg H., Hutter, Dieter, Stephan, Werner
Format: eBook
Language:English
Published: Berlin ; New York : Springer, 2005.
Series:Lecture notes in computer science ; 2605.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Reasoning > Automation.
Reasoning > Technique.
Online Access:Connect to the full text of this electronic book
Show all versions (2)