Main image
Click to view image in fullscreen
![]()
Automated Deduction in Multiple-Valued Logics
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.
1 480,00 DH
Sur commande
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.
| ISBN / EAN | 9780198539896 |
|---|---|
| Auteur | Hahnle, Reiner (University of Karlsruhe, 7500 Karlsruhe) |
| Editeur | Oxford University Press |