{"product_id":"9783540567325","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eFermüller, C.; Leitsch, A.; Tammet, Tanel; Zamov, Nail\u003c\/h2\u003e \u003cp\u003eThis volume contains work on the decision problem done in\nKazan (Russia),   Tallinn (Estonia), and Vienna (Austria). The\nauthors met several times to   discuss and exchange their\nresults and finally decided to write this        monograph\ntogether. Besides a unified treatment of previously\npublished results there are many new results first presented\nin this volume.\nThe  monograph opens with an introduction and a chapter on\nterminology, followed by chapters on:\n- Semantic clash resolution as decision procedure,\n-    Completeness of ordering refinements,\n- Semantic tree based resolution      variants,\n- Deciding the class K by an ordering refinement,\n- A         resolution based method for building finite models.\nA final chapter on      applications completes the volume.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-07-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540567325\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56732-1\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 236\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369841746060,"sku":"9783540567325","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540567325.jpg?v=1773965385","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540567325","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}