Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Marko van Eekelen (editor), Herman Geuvers (editor), Julien Schmaltz (editor), Freek Wiedijk (editor)
Paperback Published on: 02/08/2011
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642228629
- Number of pages: 383
- Dimensions: 235 x 155 mm
- Languages: English