Zhao, Xishun books & textbook
Proceedings Of The 13th Asian Logic Conference
Feng, Qi Kim, Byunghan Yu, Liang Zhao, Xishun
Wspc /2015-03-05 Paperback / 252 Pages
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)
Kleine Büning, Hans Zhao, Xishun
Springer /2008-06-06 Paperback / 315 Pages
