{"product_id":"9783319258812","title":"SpringerBriefs in Intelligent Systems","description":"\u003ch1\u003eSpringerBriefs in Intelligent Systems\u003c\/h1\u003e \u003ch2\u003eZhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.\u003c\/p\u003e  \u003cp\u003eThe book is useful for undergraduate and graduate students, researchers, and practitioners.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-11-16\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319258812\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-25883-6\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 148\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45383446200460,"sku":"9783319258812","price":53.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319258812.jpg?v=1775839896","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783319258812","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}