Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2013

Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Dates et versions

hal-00908865 , version 1 (25-11-2013)

Identifiants

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⟩
324 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More