Go back
Interactive Theorem Proving 8th International Conference Itp 2017 Bras Lia Brazil September 26 29 2017 Proceedings(1st Edition)
Authors:
Mauricio Ayala-Rincon ,Cesar A. Munoz
![Free](https://dsd5zvtm8ll6.cloudfront.net/includes/images/document_product_info/free_book_tags.png)
![interactive theorem proving 8th international conference itp 2017 bras lia brazil september 26 29 2017](https://dsd5zvtm8ll6.cloudfront.net/si.question.images/book_images/2024/06/666c1252e7ddc_610666c1252e2759.jpg)
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $54.99
Savings: $54.99(100%)