电脑体验，效果更佳

算子模糊逻辑图谱-计算机领域：

研究人员

刘叙华 程晓春 司徒芊

相关术语

归结 可信度 归结式 子句集 TABLEAU方法 λ-TABLEAU方法 强蕴涵 广义归结

标签云