电脑体验，效果更佳

归结自动推理图谱-计算机领域：

研究人员

徐扬 邱小平 李晓冰

相关术语

放缩归结原理 自动推理算法 格值命题逻辑系统 中界元

标签云