Many-Valued Logics 2: Automated Reasoning and Practical Applications

by Leonard Bolc (Author), Leonard Bolc (Author), Piotr Borowik (Author)

• New

  Illustrated
  2003

  $127.63

  Many-valued logics are becoming increasingly important in all areas of computer science. 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.