Interactive Theorem Proving
Subtitle: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Publisher: Springer
Published: Aug 21, 2017
Format: paperback
Number of pages: 551
ISBN-13: 9783319661063
Notes: Source title: Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Lecture Notes in Computer Science (10499))