Springer
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, Usa, August 13-15, 2012. Proceedings
Product Code:
9783642323461
ISBN13:
9783642323461
Condition:
New
$61.47
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, Usa, August 13-15, 2012. Proceedings
$61.47
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, Usa, August 13-15, 2012. Proceedings
| Author: Lennart Beringer |
| Publisher: Springer |
| Publication Date: Jul 06, 2012 |
| Number of Pages: 419 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642323464 |
| ISBN-13: 9783642323461 |
Related Products
