Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Edición de la obra Interactive Theorem Proving
| Autor | Sandrine Blazy, Christine Paulin-Mohring, David Pichardie |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9783642396342 |
| Número de Cutter | B645i |