Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Automated Deduction in Multiple-Valued Logics
- Indbinding:
- Hardback
- Sideantal:
- 182
- Udgivet:
- 6. januar 1994
- Størrelse:
- 162x242x16 mm.
- Vægt:
- 446 g.
Gratis fragt
Leveringstid:
2-4 uger
Forventet levering: 21. maj 2025
Beskrivelse af 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.
Brugerbedømmelser af Automated Deduction in Multiple-Valued Logics
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.
Find lignende bøger
Bogen Automated Deduction in Multiple-Valued Logics findes i følgende kategorier: