Automated Deduction in Multiple-Valued Logics - Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany)

Name: Automated Deduction in Multiple-Valued Logics - Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany)
Brand: Oxford University Press

Stabilní cena

Aktuální cena je nejnižší za posledních 30 dní.

3 516 Kč

Oxford University Press

Celý popis

Do obchodu

O produktu

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.

Tip: Podívejte se také na další produkty z kategorie Počítačová věda.