李毅 蔡元虎 郭茂祖 曹玉吉 樊建席 王靛 刘扬 董明楷 赵理 宋文艳 许道云 张丽霞 丁德成 张明义 孙华梅 张颖 王亚东

缺省逻辑 服务中心 （联合）相容性 江西省 布局 压缩 南京 修正 分情形推理 自相容 圈 银行 非单调推理 行存储 累积性 算法 互连网络 汉字库 超燃冲压发动机 存储产品 加强学习 交叉立方体 缺省逻辑 图嵌入 数值模拟 富士通 自相容性 探索 子句型缺省理论 单调性

缺省逻辑