Xu Yang
发表
/spl alpha/-automated reasoning method based on regular generalized conjunctive normal form of LP(X)
Xu Yang,
Wang Wei,
Jiang Baoqing,
2002,
IEEE International Conference on Systems, Man and Cybernetics.
Xu Yang,
Jun Ma,
Jiajun Lai,
2007,
IFSA.
Xu Yang,
2006
.
Xu Yang,
Lai Jiajun,
Zeng Zhaoyou,
2006
.
Xu Yang,
Liu Jun,
Xu Yang,
1997
.
He Huacan,
Zhang Xiao-hong,
Xu Yang,
2006
.
Liu Jun,
Qin Ke-yun,
Song Zhen-ming,
2000
.
Qin Ke-yun,
Song Zhen-ming,
Qin Ke-yun,
1999
.
E. Roh,
Xu Yang,
R. Ting,
2002
.
Liu Yi,
Xu Yang,
Zhong Xiaomei,
2015
.
Y. Jun,
Yang Xu,
Xu Yang,
2004
.