{"product_id":"logic-programming-first-russian-conference-on-logic-programming-irkutsk-russia-september-14-18-1990-second-russian-conference-on-logic-programming-st-petersburg-russia-september-11-16-1991-proceedings-von-andrei-voronkov-hrsg","title":"Logic Programming","description":"This volume contains the proceedings of two Russian\nconferences on logic    programming, held in 1990 in Irkutsk\nand in 1991 in St. Petersburg. The aim of the conferences\nwas to bring together researchers from the Russian and   the\ninternational logic programming communities. Topics covered\nin the  volume include: logic programming, automated theorem\nproving, non-monotonic reasoning, applications of\nmathematical logic to computer science, deductivedatabases,\nimplementation of declarative concepts, and programming          in\nnon-classical logics.\nThis is the first volume to represent activity in the field\nof logic programming in the countries of the former            Soviet\nUnion.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540554608\"\u003e\u003ch3\u003eFirst Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540554608","offer_id":39427706814557,"sku":"9783540554608","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/cf4d8826-2be3-43d9-ba8f-596b30594eac.jpg?v=1773554151","url":"https:\/\/shop.autorenwelt.de\/products\/logic-programming-first-russian-conference-on-logic-programming-irkutsk-russia-september-14-18-1990-second-russian-conference-on-logic-programming-st-petersburg-russia-september-11-16-1991-proceedings-von-andrei-voronkov-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}