Könyv Many-Valued Logics 2 Leonard Bolc

Many-Valued Logics 2

Automated Reasoning and Practical Applications

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
19 305 Ft
Many-valued logics is becoming increasingly important in many branches of science. This is the secon...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2003
oldal
303
EAN
9783540645078
ISBN
3540645071
Enbook ID
01566674
Súly
1390
Méretek
155 x 235 x 22

Teljes leírás

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.

Érdekelheti

2 914 Ft

MONSTERS

DEDERER CLAIRE
5 147 Ft

You Had Me at Merlot

Melissa Brayden
7 590 Ft
6 797 Ft
11 257 Ft
5 985 Ft
3 968 Ft

Smart Cities

Enrique Alba
19 305 Ft

Springer Praxis Books

Anthony Fairall
12 925 Ft
6 640 Ft

Making Connections

Peggy Hackney
26 868 Ft
42 609 Ft
9 338 Ft

Storiez

Meagan Corrado
16 521 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták