Many-Valued Logics 2
Automated Reasoning and Practical Applications
(Sprache: Englisch)
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned...
Leider schon ausverkauft
versandkostenfrei
Buch
101.64 €
Produktdetails
Produktinformationen zu „Many-Valued Logics 2 “
Klappentext zu „Many-Valued Logics 2 “
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.
Inhaltsverzeichnis zu „Many-Valued Logics 2 “
Preface.- Basic Notions and Results.- Gentzen Systems for n-valued Logical Calculi.- Multisequential Systems of Takahashi and Rousseau for Finitely-Valued Logics.- The Resolution Principle in n-valued Logics.- Minimization Problems in Resolution Proof Systems.- Resolution in Finitely Valued First Order Predicate Calculi.- Overview of Applications.- Selected Applications of Fuzzy Set Theory.- Selected Applications of Rough Set Theory.- Bibliography.- Index.
Bibliographische Angaben
- Autoren: Piotr Borowik , Leonard Bolc
- 2003, 320 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540645071
- ISBN-13: 9783540645078
- Erscheinungsdatum: 23.10.2003
Sprache:
Englisch
Kommentar zu "Many-Valued Logics 2"
0 Gebrauchte Artikel zu „Many-Valued Logics 2“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Many-Valued Logics 2".
Kommentar verfassen