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

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

Remote Storage