{"product_id":"logic-for-programming-artificial-intelligence-nikolaj-bjzurner-9783642287169","title":"Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin","description":"This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Nikolaj Bjørner\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642287166\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642287169\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/24\/2012\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 446\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.45lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.10h x 6.10w x 0.90d","brand":"Nikolaj Bjørner","offers":[{"title":"Paperback","offer_id":47425460306175,"sku":"9783642287169","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_6422c0df-5206-4f97-b80f-4c11968d5e2b.jpg?v=1761539375","url":"https:\/\/www.whiterainbookhouse.com\/products\/logic-for-programming-artificial-intelligence-nikolaj-bjzurner-9783642287169","provider":"WR Book House","version":"1.0","type":"link"}