电脑体验，效果更佳

归结图谱-自然科学领域：

研究人员

刘辉林 刘叙华 李大法 李旭 夏世芬 徐心和 程永丰 钟伯刚 徐扬 马淑霞 孙吉贵

相关术语

Horn子句集 神经网络 高阶逻辑 PROLOG 自然演绎 模拟退火法 推理 重言式 配对 自动定理证明 决策模型 调解 合一算法 完备性 排序 完全Boole代数 真值算子 一阶逻辑 Boole算子模糊逻辑 RUE-NRF归结 解释

标签云