Interactive Theorem Proving
Springer International Publishing AG, 2018
110,50 €On orderDelivery: 2-3 weeks
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.
- ISBN-13
- 9783319948201
- ISBN-10
- 3319948202
- Publisher
- Springer International Publishing AG
- Year
- 2018
- Publication date
- 2018-07-04
- Pages
- 642
- Dimensions
- 235x155x