Cărți de Xishun Zhao

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4996

Editat de Hans Kleine Büning et al.

25 apr 2008

Preț: 328^.93 lei 411^.17 lei

6-8 săpt.

-20%

Proceedings of the 13th Asian Logic Conference

Autor Xishun Zhao et al.

4 mar 2015

Preț: 682^.50 lei 802^.95 lei

6-8 săpt.

-15%