Produkt mají v nabídce:
Automated Deduction in Multiple-Valued Logics - Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany)
BL The first book on this subject - fully self-contained and unified approachThe author has developed here a unified approach to automated reasoning in multiple-valued logics (MVL). The book also contains complete accounts of other approaches to this problem - making this the first ever overview of this area of automated reasoning.
