3029:-
Uppskattad leveranstid 10-15 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
BL The first book on this subject - fully self-contained and unified approach
The 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.
The 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.
- Format: Inbunden
- ISBN: 9780198539896
- Språk: Engelska
- Antal sidor: 182
- Utgivningsdatum: 1994-01-01
- Förlag: Clarendon Press