侯金宏 王驹 蒋运承 张维 余泉

算法 概念描述树 最小公共包含 描述逻辑 非标准推理

贵州毕节 贵州都匀 广西桂林 黔南民族师范学院数学系 毕节学院逻辑与应用逻辑研究所 广西师范大学数学科学学院广西桂林 广西师范大学计算机科学与信息工程学院