{"product_id":"9783540557272","title":"Lecture Notes in Computer Science: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eVoronkov, Andrei\u003c\/h2\u003e \u003cp\u003eThis volume contains the proceedings of LPAR '92, the\ninternational         conference on logic programming and automated\nreasoning held in St.         Petersburg in July 1992. The aim of\nthe conference was to bring together    researchers from the\nRussian and the international logic programming and    theorem\nproving communities.\nThe topics of interest covered by papers inthe volume\ninclude automated theorem proving, non-monotonic                 reasoning,\napplications of mathematical logic to computer                   science,\ndeductive databases, implementation of declarative                 concepts,\nand programming in non-classical logics.\nLPAR '92 is the      successor of the First and Second Russian\nConferences on Logic Programming  held in 1990 and 1991,\nrespectively, the proceedings of which were publishedin\nLNAI Vol. 592.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-07-01\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540557272\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0013043\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 516\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370065027212,"sku":"9783540557272","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540557272.jpg?v=1773969633","url":"https:\/\/lateknightbooks.com\/products\/9783540557272","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}