Proof Theory and Automated Deduction

Name: Proof Theory and Automated Deduction
Brand: Kluwer Academic Publishers
SKU: 2342913
Author: Jean Goubault-Larrecq

Jean Goubault-Larrecq, I. Mackie

Kluwer Academic Publishers

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 322 Kč

Není skladem

Do obchodu

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

Vývoj ceny

Aktuální Ø cena knihy Proof Theory and Automated Deduction je 1 322 Kč

Výběr knih vydavatele Kluwer Academic Publishers