电脑体验，效果更佳

一阶谓词逻辑图谱-自然科学领域：

研究人员

朱军 程翼羽 邵军力 鹿旭东 张立群 张学平 徐开阔 左劼

相关术语

自动定理证明（ATP） 自动定理证明ATP) 自然推理 基因表达式编程 假设 模型库 数据挖掘 消解原理

标签云