Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Editat de Carsten Sinz et al.
4 aug 2014
Paperback
Preț: 341.30 lei 426.63 lei
6-8 săpt.
-20%