Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Format: paperback
ISBN:
9783642323461 (3642323464)
Publish date: July 6th 2012
Publisher: Springer, 419 pages, Paperback" />
Pages no: 419
Edition language: English