Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson.
E-book
Electronic resources
Record details
- ISBN: 9783642140525
- Physical Description: XI, 495p. 82 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.