ISBN 9783642323461 books & textbook

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

Beringer, Lennart Felty, Amy

Springer /2012-07-06 Paperback / 430 Pages
isbn-10: 3642323464 / isbn-13: 9783642323461