ISBN 3540730834 books & textbook
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... (Lecture Notes in Computer Science, 4573)
Kauers, Manuel Kerber, Manfred Miner, Robert Windsteiger, Wolfgang
Springer /2007-06-19 Paperback / 423 Pages
isbn-10: 3540730834 / isbn-13: 9783540730835
