Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science - Jasmin Blanchette - Books - Springer International Publishing AG - 9783031107689 - July 17, 2022
In case cover and title do not match, the title is correct

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

Price
Kč 953
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 17 - 27
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released July 17, 2022
ISBN13 9783031107689
Publishers Springer International Publishing AG
Pages 756
Dimensions 1.16 kg
Language English  
Editor Blanchette, Jasmin
Editor Kovacs, Laura
Editor Pattinson, Dirk

See all of Jasmin Blanchette ( e.g. Paperback Book )