
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Synopsis
Over dit boek
- Taal:English
- ISBN:9783319661070
- Lanceringsdatum:4 sep 2017
- Uitgever:Springer International Publishing
- Imprint:Springer
- Bestandsformaat:EPUB3
- Bestandsgrootte:18.72 MB
- Downloadopties:EPUB3 (Adobe DRM)



















