Interactive Theorem Proving
Subtitle: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 469
ISBN-13: 9783319221021