Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings - Lecture Notes in Computer Science 7998 (Paperback)Sandrine Blazy (editor), Christine Paulin-Mohring (editor), David Pichardie (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 498
Weight: 777 g
Dimensions: 235 x 155 x 26 mm
Edition: 2013 ed.
You may also be interested in...
Please sign in to write a review