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ț: 325^.00 lei 406^.25 lei

43-57 zile

-20%

Proceedings of the 13th Asian Logic Conference

Autor Xishun Zhao et al.

4 mar 2015

Preț: 674^.30 lei 793^.30 lei

43-57 zile

-15%