Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2016
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01356464
Soumis le : jeudi 25 août 2016-17:32:24
Dernière modification le : lundi 11 septembre 2023-17:41:18
Citer
Jasmin Christian Blanchette, Stephan Merz (Dir.). Interactive Theorem Proving: 7th International Conference, ITP 2016. Springer, 9807, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-43144-4⟩. ⟨hal-01356464⟩
77
Consultations
0
Téléchargements