Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Résumé
Catégories
À propos de ce livre
- Langue :English
- ISBN :9783319661070
- Date de parution :4 sept. 2017
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :18.72 MB
- Options de téléchargement :EPUB3 (Adobe DRM)
