Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Resolution Methods for the Decision Problem

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

C. Fernmüller

Alexander Leitsch

ammet Tanel

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01565643

Založba Springer, Berlin, november 1992

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

Koda Libristo: 01565643

129 b

53.30 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Mehka

57.86 €

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

43.16 €

Renovatio Europae David Engels

Mehka

17.52 €

Les grands carrés Disney Love stories

Mehka

14.18 €

Ästhetik des Widerstands Peter Weiss

Mehka

21.17 €

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

Mehka

31.20 €

Zwergenstübchen Backgeheimnisse Elke Schuster

Trda

9.21 €

Drachenblutlinie Jana Nuler

Mehka

47.83 €

Geschichte des Christentums in Grundzügen Bernd Moeller

Mehka

25.33 €

Liebe Fanatiker Amos Oz

Mehka

17.52 €

Sicherheit in vernetzten Systemen Christian Paulsen

Mehka

25.33 €

Cómo montar un negocio online BORJA PASCUAL

Mehka

21.98 €

Entwicklungsgeschichte des Kosmos Hermann J. Klein

Mehka

66.37 €

Ripley Bogle Robert McLiam Wilson

Mehka

21.27 €

Ich bin bei dir Sarah Young

Trda

15.90 €

Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann

Trda

37.89 €

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.