Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Editat de Joao Marques-Silva et al.
18 mai 2007
Paperback
Preț: 329.66 lei 412.07 lei
6-8 săpt.
-20%