Zhihai Zhang
发表
Bican Xia,
Zhihai Zhang,
Tian Fang,
2009,
Science China Information Sciences.
Bican Xia,
Zhihai Zhang,
2010,
J. Symb. Comput..
Zhihai Zhang,
Zhu Jin,
Shanglian Huang,
2009,
Sensors.
Deepak Kapur,
Zhihai Zhang,
2013,
J. Syst. Sci. Complex..
Zhihai Zhang,
Cheng Chen,
Xiaobao Li,
2019
.
Bican Xia,
Zhihai Zhang,
Yinglin Li,
2010,
ArXiv.
Qi Lu,
Deepak Kapur,
Zhihai Zhang,
2013,
Automated Reasoning and Mathematics.
Zhihai Zhang,
1998
.
Zhihai Zhang,
Zuozhuo Zhao,
2015
.
Canrong Zhang,
Zhihai Zhang,
Li Zheng,
2007,
2007 IEEE International Conference on Automation and Logistics.
Bican Xia,
Zhihai Zhang,
Lu Yang,
2009,
Formal Aspects of Computing.
Zhihai Zhang,
Hongling He,
2010,
2010 International Conference on Management and Service Science.
Zhihai Zhang,
Fengting Chen,
Ivan Lucena,
2013
.
Zhihai Zhang,
Shidong Wang,
Li Zheng,
2007,
2007 IEEE International Conference on Industrial Engineering and Engineering Management.