电脑体验，效果更佳

宋震图谱-计算机领域：

相关人员

陈火旺 张艳 窦文华 李舟军 李莲治 殷长友 刘锋 李梦君

研究领域

类型 RETE算法 模型检测 WTLS 产生式系统 模型检验 信念逻辑 安全协议

所属机构

湖南长沙 湖北武汉 四川成都 黑龙江哈尔滨 四川大学数学学院 国防科技大学计算机学院 武汉大学软件工程国家重点实验室 哈尔滨工业大学计算机科学与工程系

标签云