郭欣 陈建中 杨博 唐海鹰 史忠植 虞强源 刘大有 陈桂芬

改正 证据理论 安全 全球定位系统 消息传递 网络管理 策略 动态描述逻辑

吉林长春 长春市农业科学院 吉林大学计算机科学系 吉林大学计算机科学与技术学院 教育部符号计算与知识工程重点实验室 吉林大学符号计算与知识工程国家教育部开放... 吉林大学符号计算与知识工程国家教育部开放... 吉林大学符号计算与知识工程教育部重点实验...