Automated Deduction – CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Vše od
Springer International Publishing AG
ISBN: 9783031384981
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.
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 open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2023
- Počet stran
- 592
- Obsah
- Paperback / softback
- Počet stran
- 592 pages, 32 Illustrations, color; 53 Illustrations, black and white; XXV, 592 p. 85 illus., 32 ill
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Automated Deduction – CADE 29 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!
