{"product_id":"9783540569442","title":"Lecture Notes in Computer Science: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eVoronkov, Andrei\u003c\/h2\u003e \u003cp\u003eLPAR 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\".\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-06-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540569442\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56944-8\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 394\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370085507212,"sku":"9783540569442","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540569442.jpg?v=1773970242","url":"https:\/\/lateknightbooks.com\/products\/9783540569442","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}