ISBN 9783319661063 books & textbook
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Theoretical Computer Science and General Issues)
Ayala-Rincón, Mauricio Muñoz, César A.
Springer /2017-08-21 Paperback / 551 Pages
isbn-10: 331966106X / isbn-13: 9783319661063
