Theory and Applications of Satisfiability Testing - SAT 2008
Editat de Hans Kleine Büning et al.
25 apr 2008
Paperback
Preț: 336.31 lei 420.38 lei
6-8 săpt.
-20%
Cărți de Xishun Zhao
Proceedings of the 13th Asian Logic Conference
Autor Xishun Zhao et al.
4 mar 2015
Hardback
Preț: 696.34 lei 819.22 lei
6-8 săpt.
-15%