{"product_id":"resolution-methods-for-the-decision-problem-von-c-fermuller-a-leitsch-tanel-tammet-nail-zamov","title":"Resolution Methods for the Decision Problem","description":"This 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540567325\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540567325","offer_id":39426373910621,"sku":"9783540567325","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/4e4d8e5c-0468-453d-95f8-59f1f98e8378.jpg?v=1773554742","url":"https:\/\/shop.autorenwelt.de\/products\/resolution-methods-for-the-decision-problem-von-c-fermuller-a-leitsch-tanel-tammet-nail-zamov","provider":"Autorenwelt Shop","version":"1.0","type":"link"}