Automated Deduction in Multiple-Valued Logics

Automated Deduction in Multiple-Valued Logics

Germany) 7500 Karlsruhe University of Karlsruhe Reiner ( Hahnle
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Automated Deduction in Multiple-Valued Logics koupíte na Bookshop.cz
Bookshop.cz
3 695 Kč
Není skladem
Krátký popis
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.
Výběr knih vydavatele Oxford University Press
Kniha Bodhicaryavatara

Bodhicaryavatara

Cena od 363 Kč

  Chci koupit
Kniha Cookie and Friends: B Metodická Příručka

Cookie and Friends: B Metodická Příručka

Cena od 656 Kč

  Chci koupit
Kniha English File - Intermediate - Student's book (česká edice)

English File - Intermediate - Student's book (česká edice)

Cena od 678 Kč

  Chci koupit
Kniha Cookie and Friends A. Teacher´s Book

Cookie and Friends A. Teacher´s Book

  Chci koupit
Kniha An Autobiography

An Autobiography

  Chci koupit
Kniha Explore Together 1 - Student´s Book (CZEch Edition)

Explore Together 1 - Student´s Book (CZEch Edition)

Cena od 383 Kč

  Chci koupit
Kniha Autism

Autism

Cena od 330 Kč

  Chci koupit
Kniha Darwin

Darwin

  Chci koupit
Zobrazit všechny knihy vydavatele Oxford University Press
Naše tipy
Kniha Nečekané odhalení

Nečekané odhalení

Cena od 318 Kč

  Chci koupit
Kniha Pan Úžasný

Pan Úžasný

Cena od 357 Kč

  Chci koupit
Kniha Mindfulness pro každého - 8 týdnů, které změní váš život

Mindfulness pro každého - 8 týdnů, které změní váš život

Cena od 220 Kč

  Chci koupit
Kniha Na hraně

Na hraně

Cena od 321 Kč

  Chci koupit
Little Stranger: Utíkej, holčičko
Little Stranger: Utíkej, holčičko
Leigh Rivers
  Chci koupit
V ŽIVOTĚ TOUŽIL JEN PO TOM, ABY JI MOHL VLASTNIT.Zradila ho. On se teď chce pomstít nevlastní sestře, kterou byl tajně posedlý od chvíle, kdy ji spatřil. Jeho sestra je ale zároveň důvodem, proč na několik let skončil ve vězení. Teď je znovu na svobodě a připraven ji pronásledovat.Malachiášovi Vizeovi patří z Olivie úplně všechno.Její mysl.Její tělo.Její duše.Její strach.Její bolest.O halloweenské noci už nedokáže dál číhat ve stínech. Jediné, co si ještě musí podmanit, je její srdce. A je odhodlaný si ho získat.