李守丽 曹元大 张兴 孙利民 董国增 幺敬国 何迪 张子剑

描述逻辑 群组通信 信息检索 信任模型 并发约束程序设计 约束储仓 资源描述框架 回溯

航天档案馆 中科院软件研究所 北京理工大学软件学院 北京理工大学计算机科学技术学院 北京工业大学计算机科学与技术学院 北京理工大学信息科学技术学院计算机科学工... 北京理工大学计算机学院智能信息技术北京市...