Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Resolution Methods for the Decision Problem

Name: Resolution Methods for the Decision Problem
Brand: Springer, Berlin
SKU: 01565643
Price: 20407 HUF
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

136 b

20 407 Ft

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

22 545 Ft

Renovatio Europae David Engels

Paperback

6 990 Ft

Les grands carrés Disney Love stories

Paperback

5 559 Ft

Ästhetik des Widerstands Peter Weiss

Paperback

8 943 Ft

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

Paperback

12 445 Ft

Zwergenstübchen Backgeheimnisse Elke Schuster

Hardback

3 725 Ft

Drachenblutlinie Jana Nuler

Paperback

7 517 Ft

Geschichte des Christentums in Grundzügen Bernd Moeller

Paperback

9 782 Ft

Liebe Fanatiker Amos Oz

Paperback

7 151 Ft

Sicherheit in vernetzten Systemen Christian Paulsen

Paperback

10 701 Ft

Cómo montar un negocio online BORJA PASCUAL

Paperback

9 213 Ft

Entwicklungsgeschichte des Kosmos Hermann J. Klein

Paperback

21 237 Ft

Ripley Bogle Robert McLiam Wilson

Paperback

8 535 Ft

Ich bin bei dir Sarah Young

Hardback

6 777 Ft

Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann

Hardback

15 990 Ft

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.