{"product_id":"logic-programming-and-automated-reasoning-4th-international-conference-lpar93-st-petersburg-russia-july-13-20-1993-proceedings-von-andrei-voronkov-hrsg","title":"Logic Programming and Automated Reasoning","description":"LPAR is an international conference series aimed at bringing\ntogether       researchers interested in logic programming and\nautomated reasoning. The    research in logic programming grew\nout of the research in automated         reasoning in the early\n1970s. Later, the implementation techniques known    from logic\nprogramming were used in implementing theorem                    proving\nsystems. Results from both fields applied to                        deductive\ndatabases.\nThis volume contains the proceedings of LPAR '93,  which was\norganized by the Russian Association for Logic                    Programming.\nThe volume contains 35 contributed papers selected from        84\nsubmissions, together with an invited paper by Peter Wegner\nentitled \"Reasoning versus modeling in computer science\".\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540569442\"\u003e\u003ch3\u003e4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540569442","offer_id":39437211107421,"sku":"9783540569442","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/52df95b7-b7b4-4d37-aca8-5b4077d1a034.jpg?v=1773556298","url":"https:\/\/shop.autorenwelt.de\/products\/logic-programming-and-automated-reasoning-4th-international-conference-lpar93-st-petersburg-russia-july-13-20-1993-proceedings-von-andrei-voronkov-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}