中图分类法:	TP13 版次：
题名:	Mechanizing mathematical reasoning : [ essays in honor of J?rg H. Siekmann on the occasion of his 60th birthday /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： 2005.
载体形态:	ix, 563 p. : ill. ; 24 cm.
附注:	Festschrift.
主题词:	Automatic theorem proving.
主题词:	Logic, Symbolic and mathematical.
主题词:	Reasoning Automation.
主题词:	Reasoning Technique.
主要责任者:	Siekmann, J?rg H.
主要责任者:	Hutter, Dieter.
主要责任者:	Stephan, Werner.