史晓东 吴少岩 朱海滨 成礼智 张鼎兴 龚正虎 罗铁庚 吴泉源

Markov链使用模型 逻辑程序 全基因组 并行与分布式系统 逻辑 时制 非单调性推理 环境

国防科技大学 长沙工学院计算机系 厦门大学计算机科学系 东南融通博士后工作站 国防科技大学计算机学院 国防科学技术大学计算机系 北京航空航天大学计算机学院 国防科学技术大学计算机学院