.eText ISBN: 9783319221021
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings Ebook
$25.00
eText ISBN: 9783319221021
SKU: 68f0e44f4838
Category: Ebook
Related products
$25.00
$25.00