
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783319661070
- Udgivelsesdato:30. sep. 2022
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:18.72 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)



















































