
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Synopsis
Over dit boek
- Taal:English
- ISBN:9783319221021
- Lanceringsdatum:19 aug 2015
- Uitgever:Springer International Publishing
- Imprint:Springer
- Bestandsformaat:EPUB2
- Bestandsgrootte:8.89 MB
- Downloadopties:EPUB2 (Adobe DRM)



























































































