韩诚 都有为 吴洪博 张清明 张文芳 何大可 罗晓斌 顾刚 刘玉 王业宁 黄以能 沈惠敏 帅文

R0代数 横向荷载 氧化物掺杂 模糊逻辑 C60) 相变 圈乘算子 岩溶地区 红粘土层 变截面桩 门限解签密 离散对数等式 介电性质 广义门限 嵌岩 L系统 门限签密 演绎定理 基础R0代数 形式演绎系统L 等价系统

贵州工业大学土建系 陕西师范大学数学研究所 陕西师范大学 西安工业大学数理系