Results

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

Download Product Archive File - 978-3-319-43144-4 Download product archive files for 978-3-319-43144-4