26593318
9783642140518
Out of Stock
The item you're looking for is currently unavailable.
Kaufmann, Matt is the author of 'Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings', published 2010 under ISBN 9783642140518 and ISBN 3642140513.
[read more]