Automated Reasoning

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Vše od Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540371878

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

2 644 Kč

1 - 2 ks
2 644 Kč
3 - 10 ks
2 618 Kč
11 a více ks
2 592 Kč

Naše cena 2 644 Kč je o 6 % nižší než
doporučená cena výrobce 2 812 Kč.

Předpoklad doručení do 15. června *

* 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.

2 644 Kč 2 812 Kč

Nepřehlédněte od Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Více o produktu

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.

Výrobce
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Jazyk
Germany
Rozměry
229 x 152
Rok vydání
2006
Počet stran
688
Obsah
Paperback / softback
Počet stran
688 pages, XVI, 688 p.

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Automated Reasoning 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!