Interactive Theorem Proving
Subtitle: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Publisher: Springer
Published: Aug 07, 2016
Format: paperback
Number of pages: 519
ISBN-13: 9783319431437
Notes: Source title: Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science (9807))