Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)

Springer

Pages: 771, Edition: 1st ed. 2022, Paperback, Springer

Compare prices (1 shop)

shop Price Action
34,97 GBP Go to shop

Similar products