Automated Deduction

Automated Deduction

CADE-25
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 koupíte na Bookshop.cz
Bookshop.cz
1 322 Kč
Není skladem
Krátký popis
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.
Výběr knih vydavatele Springer International Publishing AG
Kniha AI Battle Royale

AI Battle Royale

Cena od 825 Kč

  Chci koupit
Kniha How to Value a Bank

How to Value a Bank

Cena od 2 640 Kč

  Chci koupit
Kniha 100 Years of Radar

100 Years of Radar

  Chci koupit
Zobrazit všechny knihy vydavatele Springer International Publishing AG
Naše tipy
Kniha A Deal with the Bossy Devil

A Deal with the Bossy Devil

Cena od 357 Kč

  Chci koupit
Kniha Vražda v opatství

Vražda v opatství

Cena od 99 Kč

  Chci koupit
Kniha Nejvyšší dar

Nejvyšší dar

Cena od 249 Kč

  Chci koupit
Kniha Kluk v kopačkách 5

Kluk v kopačkách 5

Cena od 238 Kč

  Chci koupit
Výživná kuchařka - Víc než recepty
Výživná kuchařka - Víc než recepty
Fourová Karolína
  Chci koupit
Výživná kuchařka - Víc než recepty - Karolína Fourová