Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Sale

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Springer International Publishing AG
SKU:
9783319948201
|
UPC:
9783319948201
$91.68 $78.32
(No reviews yet)
Condition:
New
Current Stock:
Description
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.


  • | : Jeremy Avigad, Assia Mahboubi (Edited by)
  • | Publisher: Springer International Publishing AG
  • | Publication Date: Jul 04, 2018
  • | Country of Publication: Switzerland
  • | Number of Pages: 642 pages
  • | Language: Unknown
  • | Binding: Paperback / softback
  • | ISBN-10: 3319948202
  • | ISBN-13: 9783319948201
Additional Information
By (Author):
Jeremy Avigad, Assia Mahboubi (Edited by)
Publisher:
Springer International Publishing AG
Publication Date:
Jul 04, 2018
Country of Publication:
Switzerland
Language:
Unknown
Number of pages:
642 pages
Binding:
Paperback / softback
ISBN-10:
3319948202
ISBN-13:
9783319948201