
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Synopsis
About this book
- Language:English
- ISBN:9783319431444
- Release date:Nov 9, 2017
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB2
- File size:8.42 MB
- Download options:EPUB2 (Adobe DRM)