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 |
