Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci
Edición de la obra Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci
| Autor | Lennart Beringer |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2012 |
| ISBN-13 | 9783642323461 |
| LCCN | 2012943594 |