Interactive Theorem Proving Third International Conference Itp 2012 Princeton Nj | Desertcart KUWAIT
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings: 7406 (Lecture Notes in Computer Science)
