Carte Many-Valued Logics 2 Leonard Bolc

Many-Valued Logics 2

Automated Reasoning and Practical Applications

Limbă: engleză
Legare: Copertă tare
Disponibilitate: În depozitul extern
Expediem în 10-13 zile
276.36 lei
Many-valued logics is becoming increasingly important in many branches of science. This is the secon...

Informații despre carte

Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2003
Pagini
303
EAN
9783540645078
ISBN
3540645071
Enbook ID
01566674
Greutate
1390
Dimensiuni
155 x 235 x 22

Descriere completă

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.

S-ar putea să te intereseze

41.50 lei

MONSTERS

DEDERER CLAIRE
73.24 lei

You Had Me at Merlot

Melissa Brayden
109.11 lei
96.92 lei
160.49 lei
75.56 lei
85.13 lei
58.53 lei

Smart Cities

Enrique Alba
276.36 lei

Springer Praxis Books

Anthony Fairall
184.17 lei
98.03 lei

Making Connections

Peggy Hackney
386.09 lei
581.45 lei
130.67 lei

Clienții care au cumpărat această carte au mai cumpărat și

298.12 lei
101.35 lei

A l'adresse du bonheur

Lorraine Fouchet
64.57 lei
72.63 lei
72.33 lei
150.82 lei