Proof Theory and Automated Deduction
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
A new attitude to applied logic has evolved, where researchers
tailor a logic for their own use in the same way they define a
computer language, and where auto mated deduction for the logic
and its fragments is as important as the logic itself.
Zobrazit celý popis
Zobrazit celý popis
Vývoj ceny
Aktuální Ø cena knihy Proof Theory and Automated Deduction je 1 322 Kč
Výběr knih vydavatele
Kluwer Academic Publishers
Zobrazit všechny knihy vydavatele
Kluwer Academic Publishers
Naše tipy
