Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Edición de la obra Interactive Theorem Proving
| Autor | Jasmin Christian Blanchette, Stephan Merz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 07, 2016 |
| Páginas | 519 |
| Formato | paperback |
| ISBN-13 | 9783319431437 |
| ISBN-10 | 3319431439 |
| Número de Cutter | B641i |