Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings Lecture Notes in Computer Science, nr. 13385 Editat de Jasmin Blanchette et al. 17 iul 2022 Paperback Preț: 322.05 lei 402.56 lei 6-8 săpt. -20%
