Proof Theory and Automated Deduction
Vše od
Kluwer Academic Publishers
ISBN: 9781402003684
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.
675 Kč
- 1 - 2 ks
- 675 Kč
- 3 - 10 ks
- 668 Kč
- 11 a více ks
- 662 Kč
Naše cena 675 Kč je o 6 % nižší než
doporučená cena výrobce 719 Kč.
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Kluwer Academic Publishers ↓
675 Kč
Více o produktu ↓
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.
- Výrobce
- Kluwer Academic Publishers
- Jazyk
- United States
- Autor
- Goubault-Larrecq, Jean;Mackie, I.
- Rozměry
- 235 x 155
- Rok vydání
- 2001
- Počet stran
- 444
- Obsah
- Paperback / softback
- Počet stran
- 444 pages, 444 p.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Proof Theory and Automated Deduction a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
