
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783319431444
- Date de parution :9 nov. 2017
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB2
- Taille de fichier :8.42 MB
- Options de téléchargement :EPUB2 (Adobe DRM)


















































