Ouvrages
Année : 2013
Sandrine Blazy : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00908865
Soumis le : lundi 25 novembre 2013-14:09:12
Dernière modification le : lundi 12 février 2024-09:52:06
Citer
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (Dir.). Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David. Springer, 7998, pp.500, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-39634-2⟩. ⟨hal-00908865⟩
Collections
324
Consultations
0
Téléchargements