电脑体验，效果更佳

否证蕴含图图谱-计算机领域：

研究人员

张建民 沈胜宇 李思昆

相关术语

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

标签云