电脑体验，效果更佳

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

研究人员

刘辉林 刘叙华 李大法 李旭 夏世芬 徐心和 程永丰 钟伯刚

相关术语

Horn子句集 神经网络 高阶逻辑 PROLOG 自然演绎 模拟退火法 推理 重言式

标签云