Vi bøger
Levering: 1 - 2 hverdage

Automated Deduction in Multiple-Valued Logics - Reiner ( Hahnle - Bog

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198539896
  • Indbinding:
  • Hardback
  • Sideantal:
  • 182
  • Udgivet:
  • 6. januar 1994
  • Størrelse:
  • 162x242x16 mm.
  • Vægt:
  • 446 g.
  • 2-4 uger.
  • 29. marts 2025
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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



Find lignende bøger
Bogen Automated Deduction in Multiple-Valued Logics findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.