Free delivery for orders over 69.99 euro.

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Resolution Methods for the Decision Problem

Name: Resolution Methods for the Decision Problem
Brand: Springer, Berlin
SKU: 01565643
Price: 51.75 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.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

56.81 €

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.69 €

Renovatio Europae David Engels

Paperback

19.44 €

Les grands carrés Disney Love stories

Paperback

15.49 €

Ästhetik des Widerstands Peter Weiss

Paperback

22.47 €

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

Paperback

34.43 €

Zwergenstübchen Backgeheimnisse Elke Schuster

Hardback

8.60 €

Drachenblutlinie Jana Nuler

Paperback

18.93 €

Geschichte des Christentums in Grundzügen Bernd Moeller

Paperback

28.15 €

Liebe Fanatiker Amos Oz

Paperback

19.74 €

Sicherheit in vernetzten Systemen Christian Paulsen

Paperback

26.93 €

Cómo montar un negocio online BORJA PASCUAL

Paperback

23.28 €

Entwicklungsgeschichte des Kosmos Hermann J. Klein

Paperback

53.47 €

Ripley Bogle Robert McLiam Wilson

Paperback

23.59 €

Ich bin bei dir Sarah Young

Hardback

17.01 €

Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann

Hardback

40.20 €

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.