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

Description
Item Description:	Festschrift.
Physical Description:	ix, 563 pages : illustrations ; 24 cm. Also issued online.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540250514 (pbk.)
ISSN:	0302-9743 ;