Interactive Theorem Proving Third International Conference Itp 2012 Princeton Nj | Desertcart Hong Kong
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)
产品编号: 212474262
安全交易
经常一起购买
描述
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)