电脑体验，效果更佳

谓词公式图谱-计算机领域：

研究人员

赵岭忠 钱俊彦 王雪松 蔡国永 张云鹤

相关术语

谓词逻辑 数理逻辑 回答集程序设计 ASP知识库 联结词 命题演算 谓词演算

标签云