इसका टेक्स्ट मैसेज भेजे: Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).