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 2 décembre 2024-17:46:02
Citer
Jasmin Christian Blanchette, Stephan Merz (Dir.). Interactive Theorem Proving. Springer, 9807, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-43144-4⟩. ⟨hal-01356464⟩
87
Consultations
0
Téléchargements