Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings Lecture Notes in Computer Science, nr. 12831 Editat de Chu-Min Li et al. 2 iul 2021 Paperback Preț: 689.14 lei 861.42 lei 6-8 săpt. -20%