
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Synopse
O knize
- Jazyk:English
- ISBN:9783319661070
- Datum vydání:4. 9. 2017
- Vydavatel:Springer International Publishing
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:18.72 MB
- Možnosti stahování:EPUB3 (Adobe DRM)



















































