
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783319431444
- Udgivelsesdato:9. nov. 2017
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB2
- Filstørrelse:8.42 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)


















































