Automated Deduction in Multiple-Valued Logics
af Reiner ( Hahnle
Bog, Hardback, Engelsk, 1994
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.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO989,95 kr.Gratis fragtUkendtKøb for 989,95 kr.Køb
- Bogreolen1.899,95 kr.0,00 kr.2-4 ugerKøb for 1.899,95 kr.Køb
- Tales1.900,95 kr.34,95 kr.2-4 ugerKøb for 1.900,95 kr.Køb
- Pling BØGER1.900,95 kr.34,95 kr.2-4 ugerKøb for 1.900,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9780198539896
- Udgivet6/01/1994
- Udgivet afOxford University Press
- Længde182 sider
- ForfatterReiner ( Hahnle
- GenreBusiness og læring, Computer og IT