{"product_id":"interactive-theorem-proving-springer-international-publishing-ag-9783319431437-7th-international-conference-itp-2016-nancy-france-august-22-25-2016-proceedings-jasmin-christian-blanchette","title":"Interactive Theorem Proving","description":"\u003cp\u003eDiscover the cutting-edge research in \u003cstrong\u003eInteractive Theorem Proving\u003c\/strong\u003e, authored by \u003cstrong\u003eJasmin Christian Blanchette\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016, features the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, held in Nancy, France. With a total of \u003cstrong\u003e502 pages\u003c\/strong\u003e, this first edition presents \u003cstrong\u003e27 full papers\u003c\/strong\u003e and \u003cstrong\u003e5 short papers\u003c\/strong\u003e, all meticulously reviewed and selected from 55 submissions. This book is an essential resource for researchers and practitioners in the field of interactive theorem proving, offering insights into the latest advancements and methodologies. Enhance your understanding of this critical area of computer science with the expert contributions found within.\u003c\/p\u003e","brand":"Jasmin Christian Blanchette","offers":[{"title":"Default Title","offer_id":52238540276054,"sku":"9783319431437","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319431437.jpg?v=1767760465","url":"https:\/\/www.englishbook.fi\/products\/interactive-theorem-proving-springer-international-publishing-ag-9783319431437-7th-international-conference-itp-2016-nancy-france-august-22-25-2016-proceedings-jasmin-christian-blanchette","provider":"Bookshop","version":"1.0","type":"link"}