Theory and Applications of Satisfiability Testing - SAT 2021 Lecture Notes in Computer Science, nr. 12831 Editat de Chu-Min Li et al. 2 iul 2021 Paperback Preț: 745.32 lei 931.66 lei 6-8 săpt. -20%