电脑体验，效果更佳

广义归结图谱-计算机领域：

研究人员

程晓春 王湘浩 袁晓刚 王树义 孙吉贵 司徒芊 刘叙华

相关术语

基子句 广义调解 线性演绎 λ-归结 子句集 算子模糊逻辑 空间复杂度 NC归结

标签云