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