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ț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%

Proceedings of the 13th Asian Logic Conference

Autor Xishun Zhao et al.

4 mar 2015

Preț: 694^.19 lei 816^.69 lei

6-8 săpt.

-15%