Automated Deduction in Multiple-Valued Logics
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.
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…
Zobrazit celý popis
Zobrazit celý popis
Vývoj ceny
Aktuální Ø cena knihy Automated Deduction in Multiple-Valued Logics je 3 516 Kč
Výběr knih vydavatele
Oxford University Press
Zobrazit všechny knihy vydavatele
Oxford University Press
Naše tipy
