严隽永 金芝 王朴 杨莉 黄志毅 余少波 杜铁塔 罗莉

逻辑语言 存储能力 面向对象数据库 模拟 多处理机 知识获取 代价函数 恢复

国防科技大学计算机系 国防科技大学电子计算机系 长沙国防科技大学计算机学院 国防科技大学并行与分布处理国家重点实验室