
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Synopsis
About this book
- Language:English
- ISBN:9783319661070
- Release date:Sep 30, 2022
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB3
- File size:18.72 MB
- Download options:EPUB3 (Adobe DRM)



















































