Department of Applied Mathematics;
Southwest Jiaotong University;
Chengdu 610031;
China;
Department of Basic Courses;
PLA Foreign Language Institute;
Luoyang 471003;
China;
Department of Applied Mathematics;
Southwest Jiaotong University;
Chengdu 610031;
China;
自动推理; 矩阵表示; 不饱和性; 格子; 价值工程; 人工智能; α-不稳定性; 逻辑;