电脑体验，效果更佳

λ-归结图谱-计算机领域：

研究人员

刘升贵 司徒芊 潘正华 冯钢 肖红 刘叙华

相关术语

算子 Fuzzy推理 算子格 中介逻辑谓词演算系统 广义归结 无穷值语义解释 λ-可满足性 动态模糊逻辑

标签云