Kniha Many-Valued Logics 2 Leonard Bolc

Many-Valued Logics 2

Automated Reasoning and Practical Applications

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-13 dní
50.04
Many-valued logics is becoming increasingly important in many branches of science. This is the secon...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2003
Stránok
303
EAN
9783540645078
ISBN
3540645071
Enbook ID
01566674
Hmotnosť
1390
Rozmery
155 x 235 x 22

Kompletný popis

Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.

Mohlo by vás zaujímať

7.04

MONSTERS

DEDERER CLAIRE
12.33

You Had Me at Merlot

Melissa Brayden
19.87
16.25
27.02
13.51
14.39
12.13

Smart Cities

Enrique Alba
50.04

Springer Praxis Books

Anthony Fairall
31.04
17.42

Making Connections

Peggy Hackney
70.21
105.86
24.96

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

56.89
19.28

A l'adresse du bonheur

Lorraine Fouchet
12.33
13.11
13.80
28.78