Fortæl dine venner om denne vare:
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition
Jasmin Blanchette
Pris
DKK 366
Bestilles fra fjernlager
Forventes klar til forsendelse 6. - 12. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition
Jasmin Blanchette
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.
756 pages, 42 Illustrations, color; 68 Illustrations, black and white; XV, 756 p. 110 illus., 42 ill
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 17. juli 2022 |
| ISBN13 | 9783031107689 |
| Forlag | Springer International Publishing AG |
| Antal sider | 756 |
| Mål | 1,16 kg |
| Sprog | Engelsk |
| Klipper/redaktør | Blanchette, Jasmin |
| Klipper/redaktør | Kovacs, Laura |
| Klipper/redaktør | Pattinson, Dirk |
Se alt med Jasmin Blanchette ( f.eks. Paperback Bog )