电脑体验，效果更佳

消解否证图谱-计算机领域：

研究人员

李思昆 张建民 沈胜宇

相关术语

一阶逻辑公式 否证蕴含图 可满足模理论问题 极小不可满足子式

标签云