电脑体验，效果更佳

合取式图谱-计算机领域：

研究人员

潘久辉 杨和平 郑纬民

相关术语

一阶逻辑 提问式 未赋值变量 命题逻辑表达式 编译实现 功能函数 条件求值问题 单解关系

标签云