Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Paperback Published on: 06/07/2012
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642323461
- Number of pages: 419
- Dimensions: 235 x 155 mm
- Languages: English


















