SpringerLink (Online service), Hutter, D., & Stephan, W. Mechanizing mathematical reasoning: Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Dieter Hutter, and Werner Stephan. Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday.
Warning: These citations may not always be 100% accurate.