李骏 何华灿 薛占熬 韦奉岐 周艳

复合图 基本蕴涵 广义重言式 重言式 保值蕴涵 图的平方 Groebner基 推理蕴涵 投射Hilbert多项式 参数Kleene系统 平均距离 重数 子代数 模糊推理 模糊蕴涵 阶滤子 多值逻辑系统 三I解 分次代数 三I方法

陕西西安 陕西师范大学数学系 西北纺织工学院数理系 西安工程科技学院数理系 甘肃工业大学基础科学系 甘肃兰州 西安工程科技学院理学院 西北工业大学计算机学院