Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Edición de la obra Interactive Theorem Proving
| Autor | Lennart Beringer |
|---|---|
| Editorial | Springer Berlin Heidelberg, Imprint: Springer |
| Fecha de publicación | 2012 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642323478 |
| Serie | Lecture Notes in Computer Science -- 7406 |
| Número de Cutter | B511i |