Norges billigste bøker

Automated Deduction in Multiple-Valued Logics

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780198539896
  • Bindende:
  • Hardback
  • Sider:
  • 182
  • Utgitt:
  • 6. januar 1994
  • Dimensjoner:
  • 162x242x16 mm.
  • Vekt:
  • 446 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

Beskrivelse av 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.

Brukervurderinger av Automated Deduction in Multiple-Valued Logics



Finn lignende bøker
Boken Automated Deduction in Multiple-Valued Logics finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.