ISBN 9783319221014 books & textbook
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)
Urban, Christian Zhang, Xingyuan
Springer /2015-08-27 Paperback / 480 Pages
isbn-10: 3319221019 / isbn-13: 9783319221014
