Theory and Applications of Satisfiability Testing - SAT 2008
Editat de Hans Kleine Büning et al.
25 apr 2008
Paperback
Preț: 322.40 lei 403.00 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ț: 667.37 lei 785.14 lei
6-8 săpt.
-15%