Interactive Theorem Proving 9th International Conference ITP 2018 Held
In stock
Smart shoppers OnBuy it!
- Earn Cashback on every purchase – spend it instantly on your next order
- Free delivery – on millions of items across the site
- Customers love us – 137,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Wed 4th - Fri 6th Nov
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
Interactive Theorem Proving 9th International Conference ITP 2018 Held 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.nbsp The papers feature research in the area ofnbsplogical frameworks and interactivenbspproof assistants.nbspThe topics includenbsptheoretical foundations and implementationnbspaspects of the technology, as well as applicati
Details
| OPC | PXPVBQ9 |
|---|---|
| Brand | riachristiecollections |
| Codes | 3319948202 (ISBN-10) |
| 9783319948201 (ISBN) | |
| MPN | 9783319948201 |
Compare Sellers for Interactive Theorem Proving 9th International Conference ITP 2018 Held
- New from £104.17
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (209 reviews) | - |
30 Days
Free Returns No
|
£104.17
|
+Free Delivery
Est. Delivery:
4th-6th Nov
|
£104.17
|
Earn as you shop with instant Cashback on everything.
No catch, no cost
- Paid into your OnBuy account
- Spend it on your next purchase
- Save it or withdraw it
Become a Cashback VIP
Just 1 purchase unlocks bigger deals & rates