
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Sammendrag
Om denne boken
- Språk:English
- ISBN:9783319431444
- Utgivelsesdato:9. nov. 2017
- Forlag:Springer International Publishing
- Trykk:Springer
- Filformat:EPUB2
- Filstørrelse:8.42 MB
- Nedlastingsalternativer:EPUB2 (Adobe DRM)


















































