Theory and Applications of Satisfiability Testing - SAT 2020 Lecture Notes in Computer Science, nr. 12178 Editat de Luca Pulina et al. iul 2020 Paperback Preț: 352.46 lei 440.57 lei 6-8 săpt. -20%
