ISBN 3540250514 books & textbook
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 2605)
Hutter, Dieter Stephan, Werner
Springer /2005-02-23 Paperback / 580 Pages
isbn-10: 3540250514 / isbn-13: 9783540250517
