高洪奎 胡守仁 吴晓峰 朱海滨 胡子昂 邹鹏 张东海 张晨曦

逻辑推理 人工智能计算机 计算机系统 抗药性 RISC处理器 人工智能 全息干版 人工智能智能工具机 定影 显影 监测 模拟系统 顺序PROLOG 黑白胶片 推理速度 棉叶螨

国防科技大学计算机系 石河子大学农学院农业科学系 农四师67团 毕节学院物理系 国防科学技术大学计算机系