
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par
USD 130.39 USD
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.
Specifications
| ISBN-13 | 9783319948201 |
| ISBN | 9783319948201 |
You will like that the 6th edition includes a troubleshooting guide.










