电脑体验，效果更佳

一阶谓词逻辑图谱-计算机领域：

研究人员

张健 张玉平

相关术语

传递闭包 有限模型构造 存在量词 形式规约 非经典逻辑 模型论

标签云