电脑体验，效果更佳

逻辑程序设计图谱-自然科学领域：

研究人员

吉波 胡守仁 田野 徐志农 张雷 邓铁清 高峰 王涛

相关术语

元级推理 开发环境 AI Horn子句 不动点语义 Herbrand解释 软件开发 专家系统

标签云