电脑体验，效果更佳

中介逻辑谓词演算系统图谱-计算机领域：

研究人员

潘正华

相关术语

语义解释 无穷值语义解释 λ-归结 λ-可满足性

标签云