谢希仁 邵军力 张毓森 程翼羽 刘鹏 董建设 王金双 张学平

Ad hoc 推理 可选择的可靠传输协议 类型检测 生命科学 自动定理证明（ATP） 消解原理 肿瘤

江苏南京 浙江大学 解放军理工大学科研部 解放军理工大学通信工程学院 解放军理工大学指挥自动化学院 兰州理工大学计算机与通信学院 南京大学软件新技术国家重点实验室 解放军理工大学指挥自动化学院计算机系