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

  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 668 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 363 Kč

  Chci koupit
Kniha Autism

Autism

  Chci koupit
Kniha Darwin

Darwin

  Chci koupit
Zobrazit všechny knihy vydavatele Oxford University Press
Naše tipy
Kniha Bungó Stray Dogs - Toulaví literáti 8

Bungó Stray Dogs - Toulaví literáti 8

Cena od 199 Kč

  Chci koupit
Kniha Praha - průvodce/německy, 1. vydání

Praha - průvodce/německy, 1. vydání

Cena od 167 Kč

  Chci koupit
Kniha Řekni ano tomu pravému

Řekni ano tomu pravému

Cena od 318 Kč

  Chci koupit
Kniha Tak na to zapomeň, sestro

Tak na to zapomeň, sestro

Cena od 259 Kč

  Chci koupit
Tři královny
Tři královny
Geneva Lee
  Chci koupit
Tři královny - Geneva Lee

Thea a Julian zpečetili své pouto a nyní se jako druh a družka vracejí mezi upíří elitu na Plese slunovratu. Tam ale jejich vztah není největším překvapením večera, protože se zároveň do světa živých oficiálně vrací Julianova sestra.Novopečený pár se musí vypořádat se spoustou nových výzev, zrádných spojenectví a nečitelných vztahů. Klíč k jejich budoucnosti se může nacházet v minulosti, ale aby ho Julian našel, musí se opět stát monstrem, kterým kdysi býval.Thea se snaží najít svou matku, ale místo toho se ocitne v zajetí a zapomene, kým ve skutečnosti je. Budoucnost samotného magického světa visí na vlásku, v rodině Rousseauxových narůstá napětí a v upířím světě se schyluje k lásce. Podaří se Julianovi a Thee zachránit svou lásku, anebo oba zaplatí nejvyšší cenu?