袁军华 张运凯 刘宏忠 张义 刘强 阎立伟 尚志恩 牛相燕

基于内容 结点 抽象树 特征库 优先级 内含子 外显子 计算机代数方法

河北石家庄 河北师范大学数学系 河北省石钢信息中心 河北师范大学网络中心 河北师范大学计算机科学系 河北师范大学网络信息中心 河北省国家税务局计算信息中心 河北师范大学数学与信息科学学院