Extra Materials Archive

Book cover

Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

© 2016

Soft cover - Print (ISBN: 978-3-319-43143-7)

Electronic (ISBN: 978-3-319-43144-4)

View this book on SpringerLink

Extra Materials File 978-3-319-43144-4