{"product_id":"andrei-voronkov-logic-for-programming-artificial-intelligence-and-reasoning-9783662488980","title":"Logic for Programming, Artificial Intelligence, and Reasoning","description":"This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.\n\u003cbr\u003e\nThe 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54725540872534,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783662488980_1.jpg?v=1791146448","url":"https:\/\/www.momoxbooks.com\/products\/andrei-voronkov-logic-for-programming-artificial-intelligence-and-reasoning-9783662488980","provider":"momox","version":"1.0","type":"link"}