{"product_id":"9783540558736","title":"Lecture Notes in Computer Science: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eKirchner, Helene; Levi, Giorgio\u003c\/h2\u003e \u003cp\u003eThis volume contains the proceedings of the Third\nInternational Conference  on Algebraic and Logic Programming,\nheld in Pisa, Italy, September 2-4,     1992. Like the two\nprevious conferences in Germany in 1988 and France in    1990,\nthe third conference aims at strengthening the connections\nbetweenalgebraic techniques and logic programming. On the\none hand, logic          programming has been very successful during\nthe last decades and more and   more systems compete in\nenhancing its expressive power. On the other hand,  concepts\nlike functions, equality theory, and modularity                    are\nparticularly well handled in an algebraic framework.                    Common\nfoundations of both approaches have recently been developed,\nand this conference is a forum for people from both areas to\nexchange ideas,    results, and experiences. The book covers\nthe following topics: semantics ofalgebraic and logic\nprogramming; integration of functional and              logic\nprogramming; term rewriting, narrowing, and resolution;\nconstraintlogic programming and theorem proving; concurrent\nfeatures in algebraic and logic programming languages; and\nimplementation issues.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-08-19\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540558736\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0013814\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 460\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370064797836,"sku":"9783540558736","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540558736.jpg?v=1773969623","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540558736","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}