
Interactive Theorem Proving
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783319948218
- Date de parution :22 sept. 2022
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :20.73 MB
- Options de téléchargement :EPUB3 (Adobe DRM)






























































































