Interactive Theorem Proving: 7th International Conference, ITP 2016

Type de document :
Direction d'ouvrage, Proceedings, Dossier
Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-319-43144-4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01356464
Contributeur : Stephan Merz <>
Soumis le : jeudi 25 août 2016 - 17:32:24
Dernière modification le : lundi 20 novembre 2017 - 15:14:02

Identifiants

Collections

Citation

Jasmin Christian Blanchette, Stephan Merz. Interactive Theorem Proving: 7th International Conference, ITP 2016. Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-319-43144-4〉. 〈hal-01356464〉

Partager

Métriques

Consultations de la notice

98