电脑体验，效果更佳

基子句图谱-计算机领域：

研究人员

刘叙华 王湘浩

相关术语

广义归结 子句集 广义锁归结 归结方法 零子 线性演绎

标签云