SpringerLink (Online service), Hutter, D., & Stephan, W. (2005). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer Berlin Heidelberg.
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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005.
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. Springer Berlin Heidelberg, 2005.
Warning: These citations may not always be 100% accurate.
