
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9783319661070
- Erscheinungsdatum:4. Sept. 2017
- Herausgeber:Springer International Publishing
- Imprint:Springer
- Dateiformat:EPUB3
- Dateigröße:18.72 MB
- Downloadoptionen:EPUB3 (Adobe DRM)



















