{"product_id":"interactive-theorem-proving-springer-international-publishing-ag-9783319661063-8th-international-conference-itp-2017-brasilia-brazil-september-26-29-2017-proceedings-mauricio-ayala-rinc-n","title":"Interactive Theorem Proving","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eInteractive Theorem Proving\u003c\/strong\u003e by \u003cstrong\u003eMauricio Ayala-Rincón\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2017. This comprehensive volume features the refereed proceedings from the 8th International Conference on Interactive Theorem Proving (ITP 2017), held in Brasilia, Brazil, in September 2017. Spanning \u003cstrong\u003e532 pages\u003c\/strong\u003e, the book presents 28 full papers, 2 rough diamond papers, and 3 invited talk papers, all meticulously reviewed and selected from a competitive pool of 65 submissions. Ideal for researchers and practitioners alike, this edition delves into the latest advancements and methodologies in interactive theorem proving, making it a valuable addition to your academic library. Enhance your understanding of this vital field with this essential resource.\u003c\/p\u003e","brand":"Mauricio Ayala-Rincón","offers":[{"title":"Default Title","offer_id":52238540112214,"sku":"9783319661063","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319661063.jpg?v=1767760463","url":"https:\/\/www.englishbook.fi\/products\/interactive-theorem-proving-springer-international-publishing-ag-9783319661063-8th-international-conference-itp-2017-brasilia-brazil-september-26-29-2017-proceedings-mauricio-ayala-rinc-n","provider":"Bookshop","version":"1.0","type":"link"}