Theory and Applications of Satisfiability Testing -- SAT 2015 Lecture Notes in Computer Science, nr. 9340 Editat de Marijn Heule et al. 4 noi 2015 Paperback Preț: 412.45 lei 515.56 lei 6-8 săpt. -20%
