
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783319661070
- Date de parution :30 sept. 2022
- É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)



















































