Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

by ,

Write The First Customer Review
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings 2012, Springer

ISBN-13: 9783642323461

2012 edition Annotated

Trade paperback

Select