Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 810, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)
Compare webshops (1)
Shop
Price