电脑体验，效果更佳

归结方法图谱-计算机领域：

研究人员

王湘浩 刘叙华 刘富春

相关术语

线性演绎 零子 广义锁归结 近似推理 基子句 子句集 调解方法 广义归结

标签云