Synopsis
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.
"synopsis" may belong to another edition of this title.
Search results for Resolution Methods for the Decision Problem (Lecture...
Stock Image
Resolution Methods for the Decision Problem (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD140112
Stock Image
Resolution Methods for the Decision Problem
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 220. Seller Inventory # 263069944
Stock Image
Resolution Methods for the Decision Problem (Lecture Notes in Computer Science 679)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 18 (sale item)* 205 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1058201
Seller Image
Resolution Methods for the Decision Problem
Published by
Springer Berlin Heidelberg Jul 1993, 1993
ISBN 10: 3540567321
ISBN 13: 9783540567325
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write this monographtogether. Besides a unified treatment of previouslypublished results there are many new results first presentedin this volume.The monograph opens with an introduction and a chapter onterminology, followed by chapters on:- Semantic clash resolution as decision procedure,- Completeness of ordering refinements,- Semantic tree based resolution variants,- Deciding the class K by an ordering refinement,- A resolution based method for building finite models.A final chapter on applications completes the volume. 220 pp. Englisch. Seller Inventory # 9783540567325
Buy New
US$ 64.03
US$ 26.73 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Resolution Methods for the Decision Problem
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 220 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5859367
Buy New
US$ 86.65
US$ 8.66 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Resolution Methods for the Decision Problem
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 220. Seller Inventory # 183069938
Buy New
US$ 86.45
US$ 11.57 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Resolution Methods for the Decision Problem
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540567321
ISBN 13: 9783540567325
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write this monographtogether. Besides a uni. Seller Inventory # 4894056
Buy New
US$ 57.91
US$ 56.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Resolution Methods for the Decision Problem. ( = Lecture Notes in Artificial Intelligence, 679) .
Seller: ralfs-buecherkiste, Herzfelde, MOL, Germany
Seller rating 5 out of 5 stars
Softcover. Condition: Gut. 205 Entscheidungsproblem Ex-Library. Stamped edges. Cover with small damage. Guter Zustand/ Good Ex-Library. Stamped edges. ha1054923 Sprache: Englisch Gewicht in Gramm: 300. Seller Inventory # 283081
Buy Used
US$ 10.78
US$ 122.05 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Resolution Methods for the Decision Problem
Published by
Springer, Springer Jul 1993, 1993
ISBN 10: 3540567321
ISBN 13: 9783540567325
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 220 pp. Englisch. Seller Inventory # 9783540567325
Buy New
US$ 64.03
US$ 69.74 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Resolution Methods for the Decision Problem
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write this monographtogether. Besides a unified treatment of previouslypublished results there are many new results first presentedin this volume.The monograph opens with an introduction and a chapter onterminology, followed by chapters on: Semantic clash resolution as decision procedure Completeness of ordering refinements Semantic tree based resolution variants Deciding the class K by an ordering refinement A resolution based method for building finite models.A final chapter on applications completes the volume. Seller Inventory # 9783540567325
Buy New
US$ 64.03
US$ 71.73 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available