
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Sammendrag
Om denne boken
- Språk:English
- ISBN:9783319661070
- Utgivelsesdato:4. sep. 2017
- Forlag:Springer International Publishing
- Trykk:Springer
- Filformat:EPUB3
- Filstørrelse:18.72 MB
- Nedlastingsalternativer:EPUB3 (Adobe DRM)



















































