亢红道 张月岭 王庆平 宋颖 高芹 于西昌 马成芬 孙彦平

L逻辑系统 区间数线性方程组 三I约束算法 α-Dn伪距离 钠 量 赋值类 婴儿

山东聊城 山东潍坊 山东　聊城 潍坊学院数学系 数学与系统科学系 聊城大学学报编辑部 山东大学齐鲁医院儿科 聊城大学数学科学学院