Interactive Theorem Proving
Изчерпано количество
Продуктът не е наличен
Запиши се за известие при зареждане
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.
Информация за "Interactive Theorem Proving"
- SKU 9783319948201
- Weight 1.003000
- ISBN 9783319948201
- Вид корица Paperback / softback
- Издателство Springer International Publishing AG
- Брой страници 642
The information below is required for social login