Mechanizing mathematical reasoning2005

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

by Jörg H. Siekmann