Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science - Jasmin Blanchette - Kirjat - Springer International Publishing AG - 9783031107689 - sunnuntai 17. heinäkuuta 2022
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 42,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 12. - 20. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 17. heinäkuuta 2022
ISBN13 9783031107689
Tuottaja Springer International Publishing AG
Sivujen määrä 756
Mitta 1,16 kg
Kieli English  
Toimittaja Blanchette, Jasmin
Toimittaja Kovacs, Laura
Toimittaja Pattinson, Dirk

Katso kaikki joka sisältää Jasmin Blanchette ( Esim. Paperback Book )