{"product_id":"9783540554608","title":"Lecture Notes in Computer Science: 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","description":"\u003ch1\u003eLecture Notes in Computer Science: 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\u003c\/h1\u003e \u003ch2\u003eVoronkov, Andrei\u003c\/h2\u003e \u003cp\u003eThis 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-05-06\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540554608\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-55460-2\u003c\/p\u003e \u003cp\u003eDimensions: 279cm x216cm\u003c\/p\u003e \u003cp\u003ePages: 521\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370063880332,"sku":"9783540554608","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540554608.jpg?v=1773969580","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540554608","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}