Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Resolution Methods for the Decision Problem

Name: Resolution Methods for the Decision Problem
Brand: Springer, Berlin
SKU: 01565643
Price: 51.66 EUR
Availability: InStock
Author: C. Fernmüller
ISBN: 9783540567325

C. Fernmüller

Alexander Leitsch

ammet Tanel

Language

English

Book Paperback

Libristo code: 01565643

Publishers Springer, Berlin, November 1992

This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie... Full description

Libristo code: 01565643

125 b

51.66 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Filosofia Social e Política para os Perplexos Kizito Michael George

Paperback

56.72 €

Oldboy, 1 4K UHD-Blu-ray + 1 Blu-ray + 2 Bonus-Blu-ray (4-Disc Limited Collector's Edition im Mediabook) Park Chan-wook

Blu-ray

47.62 €

Renovatio Europae David Engels

Paperback

19.20 €

Les grands carrés Disney Love stories

Paperback

15.26 €

Ästhetik des Widerstands Peter Weiss

Paperback

22.44 €

COMENTARIO INTEGRAL A LA ENCICLOPEDIA DE LAS CIENCIAS FILOSÓFICAS DE G.W.F. HEGE RAMON VALLS PLANA

Paperback

34.17 €

Zwergenstübchen Backgeheimnisse Elke Schuster

Hardback

10.20 €

Drachenblutlinie Jana Nuler

Paperback

18.90 €

Geschichte des Christentums in Grundzügen Bernd Moeller

Paperback

24.66 €

Liebe Fanatiker Amos Oz

Paperback

19.61 €

Sicherheit in vernetzten Systemen Christian Paulsen

Paperback

26.89 €

Cómo montar un negocio online BORJA PASCUAL

Paperback

23.25 €

Entwicklungsgeschichte des Kosmos Hermann J. Klein

Paperback

53.38 €

Ripley Bogle Robert McLiam Wilson

Paperback

23.45 €

Ich bin bei dir Sarah Young

Hardback

16.98 €

Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann

Hardback

40.13 €

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.