Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science - Jasmin Blanchette - Bøger - Springer International Publishing AG - 9783031107689 - 17. juli 2022
Ved uoverensstemmelse mellem cover og titel gælder titel

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

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