Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Satisfiability and Model Checking in Team Based Logics

Name: Satisfiability and Model Checking in Team Based Logics
Brand: Cuvillier Verlag
SKU: 12828600
Price: 26.22 EUR
Availability: InStock
Author: Julian-Steffen Müller
ISBN: 9783954047598

Julian-Steffen Müller

Език

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

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

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

Издателство Cuvillier Verlag, август 2014

Dependence and independence between properties is occurring in many different scientific disciplines... Цялото описание

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

64 b

26.22 €

51.27 лв

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

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

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

GIGANTIC Remender

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

21.33 € 41.72 лв

Marketing con visión de futuro : alcanzar y mantener el éxito de la empresa Henry . . . [et al. ] Robben

С меки корици

26.27 € 51.37 лв

Data Face Tayeb Hassini

С меки корици

6.01 € 11.76 лв

Catalogue d'Une Collection d'Objets Precieux En Matieres Diverses de M. Le Marquis de Dree Lacoste

С меки корици

13.62 € 26.64 лв

CHARIOTS OF FIRE FANFARE -PARTITION+PARTIES SEPAREES VANGELIS Книга

binding.

130.38 € 255.00 лв

politique coloniale. Colonies pendant la guerre, politique islamique, politique marocaine HUBERT-L

С меки корици

22.05 € 43.13 лв

Domine GIMP : manual práctico Antonio Pérez Carrasco

С меки корици

28.12 € 54.99 лв

Albatros Torres Vitolas

С меки корици

22.72 € 44.44 лв

IV convenio colectivo general del sector de la construcción : nivel básico de prevención en la construccion JUANEDA ORTOLA

С меки корици

17.73 € 34.68 лв

La mujer con el corazón lleno de tormentas Álvaro Colomer

С меки корици

18.25 € 35.69 лв

Repaso matemáticas, 3 Educación Primaria, 2 ciclo. Vacaciones del alumno Luis . . . [et al. ] Ferrero de Pablo

С меки корици

16.04 € 31.36 лв

Seguridad e higiene en el trabajo Adolfo Rodellar Lisa

С меки корици

22.72 € 44.44 лв

Saemtliche Werke - Band 10- Der verliebte Europaeer - Der verkehrte Staatsmann - Bruder Blaumantel - Der verliebte Oesterreicher Johann Beer

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

182.10 € 356.16 лв

Mice I Zeilhofer-Ficker

С меки корици

9.61 € 18.79 лв

Histoires de vie, témoignages, autobiographies de terrain Gabriella D'Agostino

С меки корици

36.91 € 72.19 лв

Witwentraining Dieter Grau

С меки корици

10.12 € 19.80 лв

Dependence and independence between properties is occurring in many different scientific disciplines, for example in the description of discrete systems or during the evaluation of physical experiments. During this thesis we will study a variety of team based logics, which can express some form of dependence or independence. The concept of expressing functional dependencies between terms by atomic FO-formulae was introduced by Väänänen in 2007. He showed that dependence logic is equally expressive as existential second order logic and thus dependence logic characterises NP. In the first chapter of this thesis we are obtaining a Horn fragment of dependence logic which characterises P. In the second part of this thesis we will study the concept of dependence and independence in the context of team based modal logics. We will study several decision problems for these modal logics, like satisfiability and model checking. Furthermore we will investigate the expressive power of these modal logics. Finally we will give a general notion of team atoms and the properties that they are describing.