
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Synopsis
Om den här boken
- Språk:English
- ISBN:9783319661070
- Utgivningsdatum:30 sep. 2022
- Utgivare:Springer International Publishing
- Impressum:Springer
- Filformat:EPUB3
- Filstorlek:18.72 MB
- Nedladdningsalternativ:EPUB3 (Adobe DRM)



















































