Interactive Theorem Proving 8th International Conference, ITP 2017, Bras’lia, Brazil, September 26’29, 2017, Proceedings Ebook (djibook.shop)

$10.00

Springer

Category: Tag: