Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2013

Dates and versions

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

Identifiers

Cite

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⟩
319 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More