Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Vše od
Springer International Publishing AG
ISBN: 9783031107689
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and...
1 028 Kč
- 1 - 2 ks
- 1 028 Kč
- 3 - 10 ks
- 1 018 Kč
- 11 a více ks
- 1 008 Kč
Naše cena 1 028 Kč je o 6 % nižší než
doporučená cena výrobce 1 094 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 Springer International Publishing AG ↓
1 028 Kč
Více o produktu ↓
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2022
- Počet stran
- 756
- Obsah
- Paperback / softback
- Počet stran
- 756 pages, 42 Illustrations, color; 68 Illustrations, black and white; XV, 756 p. 110 illus., 42 ill
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!
