Interactive Theorem Proving
5th International Conference, ITP 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Edición de la obra Interactive Theorem Proving
| Autor | Gerwin Klein, Ruben Gamboa |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 555 |
| ISBN-13 | 9783319089706 |
| Número de Cutter | K64i |