蔡怀德 曲殿楼 许道云 李祥 汪维清 邹阳 张炳成 李娟

路由算法 形式化系统 非平调性 可作废推理 人工智能 增量更新算法 数据挖掘 逐次逼近

贵州贵阳 贵州科学院 贵州大学计算机科学系 西南大学计算机与信息科学学院