Kniha Resolution Methods for the Decision Problem C. Fernmüller

Resolution Methods for the Decision Problem

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.08
This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1993
Stránok
236
EAN
9783540567325
ISBN
3540567321
Enbook ID
01565643
Vydavateľ
Hmotnosť
290
Rozmery
155 x 233 x 11

Kompletný popis

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.

Mohlo by vás zaujímať

Chromophobia

David Batchelor
17.54

Dark Matter

Michelle Paver
10.77
8.32

Mies van der Rohe

Claire Zimmerman
15.28
25.18

World of Late Antiquity AD 150-750

Peter Robert Lamont Brown
35.08

My Infamous Life

Albert Johnson
13.52

Paradise Rules

Jimmy Gleacher
15.67
15.67

Call it a Day

Dodie Smith
17.44
17.73

Lifespan

David Sinclair
19.40

Dangerous Liaisons

Pierre Choderlos De Laclos
13.52
36.26
56.45

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Renovatio Europae

David Engels
18.81
54.98
21.75
18.32
8.32
19.10
22.54
26.06

Ripley Bogle

Robert McLiam Wilson
22.83
51.75

Ich bin bei dir

Sarah Young
16.46