Automated Deduction in Multiple-Valued Logics
Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany) Hahnle
Oxford University Press, 1994
191,50 €On orderDelivery: 2-3 weeks
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-13
- 9780198539896
- ISBN-10
- 0198539894
- Publisher
- Oxford University Press
- Year
- 1994
- Publication date
- 1994-01-06
- Pages
- 182
- Dimensions
- 242x162x16
- Weight
- 446