Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Editat de Armin Biere et al.
26 iul 2006
Paperback
Preț: 341.30 lei 426.63 lei
43-57 zile
-20%