{"product_id":"automated-deduction-in-geometry-springer-international-publishing-ag-9783319213613-10th-international-workshop-adg-2014-coimbra-portugal-july-9-11-2014-revised-selected-papers-francisco-botana","title":"Automated Deduction in Geometry","description":"\u003cp\u003eDiscover the cutting-edge research in geometric reasoning with \u003cstrong\u003eAutomated Deduction in Geometry\u003c\/strong\u003e by \u003cstrong\u003eFrancisco Botana\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2015, presents the thoroughly refereed post-workshop proceedings from the 10th International Workshop on Automated Deduction in Geometry, held in Coimbra, Portugal, in July 2014. Spanning \u003cstrong\u003e181 pages\u003c\/strong\u003e, this first edition delves into the latest advancements in automated reasoning, showcasing significant trends and methodologies in the field. Ideal for researchers and enthusiasts alike, this book is a vital resource for anyone looking to deepen their understanding of automated deduction in geometry. Enhance your library with this essential title today!\u003c\/p\u003e","brand":"Francisco Botana","offers":[{"title":"Default Title","offer_id":52251450114390,"sku":"9783319213613","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319213613.jpg?v=1767778990","url":"https:\/\/www.bookshop.lt\/products\/automated-deduction-in-geometry-springer-international-publishing-ag-9783319213613-10th-international-workshop-adg-2014-coimbra-portugal-july-9-11-2014-revised-selected-papers-francisco-botana","provider":"Bookshop","version":"1.0","type":"link"}