Xiquan Liang
发表
Takao Inoué,
Bing Xie,
Xiquan Liang,
2010,
Formaliz. Math..
B. Li,
Xiquan Liang,
2009
.
Xiquan Liang,
Cuiying Peng,
Fuguo Ge,
2007
.
Bo Li,
Xiquan Liang,
Yan Zhang,
2006
.
Yuzhong Ding,
Xiquan Liang,
2004
.
Bing Xie,
Xiquan Liang,
Xiuzhuan Shen,
2009,
Formaliz. Math..
Xiquan Liang,
Dailu Li,
Xiquan Liang,
2011,
Formaliz. Math..
Tao Wang,
Xiquan Liang,
Xiquan Liang,
2012,
Formaliz. Math..
Xiquan Liang,
Tao Wang,
2012
.
Bo Li,
Xiquan Liang,
Dailu Li,
2009,
Formaliz. Math..
Bo Li,
Pan Wang,
Xiquan Liang,
2009,
Formaliz. Math..
Xiquan Liang,
Noboru Endou,
Peng Wang,
2008
.
Li Yan,
Junjie Zhao,
Xiquan Liang,
2008,
Formaliz. Math..
Tao Sun,
Junjie Zhao,
Xiquan Liang,
2008,
Formaliz. Math..
Xiquan Liang,
Xiaopeng Yue,
Xiquan Liang,
2008,
Formaliz. Math..
Xiquan Liang,
Tao Sun,
Dahai Hu,
2007
.
Xiquan Liang,
Bo Li,
Yan Zhang,
2006
.
Xiquan Liang,
Dailu Li,
Yanhong Men,
2010,
Formaliz. Math..
Ou Bai,
Xiquan Liang,
Piqing Zhao,
2010,
Formaliz. Math..
Xiquan Liang,
Piqing Zhao,
Xiquan Liang,
2009
.