Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Resolution Methods for the Decision Problem

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

C. Fernmüller

Alexander Leitsch

ammet Tanel

Език

Английски език

Книга С меки корици

Код Либристо: 01565643

Издателство Springer, Berlin, ноември 1992

This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie... Цялото описание

Код Либристо: 01565643

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

60.07 € 117.48 лв

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

49.97 € 97.73 лв

Renovatio Europae David Engels

С меки корици

20.50 € 40.10 лв

Les grands carrés Disney Love stories

С меки корици

16.15 € 31.59 лв

Ästhetik des Widerstands Peter Weiss

С меки корици

23.76 € 46.48 лв

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

С меки корици

35.93 € 70.28 лв

Zwergenstübchen Backgeheimnisse Elke Schuster

С твърди корици

9.11 € 17.82 лв

Drachenblutlinie Jana Nuler

С меки корици

20.04 € 39.19 лв

Geschichte des Christentums in Grundzügen Bernd Moeller

С меки корици

29.56 € 57.82 лв

Liebe Fanatiker Amos Oz

С меки корици

20.86 € 40.81 лв

Sicherheit in vernetzten Systemen Christian Paulsen

С меки корици

28.53 € 55.80 лв

Cómo montar un negocio online BORJA PASCUAL

С меки корици

24.59 € 48.10 лв

Entwicklungsgeschichte des Kosmos Hermann J. Klein

С меки корици

56.60 € 110.69 лв

Ripley Bogle Robert McLiam Wilson

С меки корици

24.70 € 48.30 лв

Ich bin bei dir Sarah Young

С твърди корици

18.02 € 35.24 лв

Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann

С твърди корици

42.56 € 83.25 лв

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.