{"product_id":"logic-programming-and-automated-reasoning-frank-pfenning-9783540582168","title":"Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings","description":"This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship \"Marshal Koshevoi\" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.\u003cbr\u003eThis proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Frank Pfenning\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540582169\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540582168\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/22\/1994\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 352\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.12lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.75d","brand":"Frank Pfenning","offers":[{"title":"Paperback","offer_id":48486954926335,"sku":"9783540582168","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_fb3a9c02-fe0c-4482-92b0-8eb1c0233227.jpg?v=1778057373","url":"https:\/\/www.whiterainbookhouse.com\/products\/logic-programming-and-automated-reasoning-frank-pfenning-9783540582168","provider":"WR Book House","version":"1.0","type":"link"}