电脑体验，效果更佳

一阶逻辑图谱-自然科学领域：

研究人员

王国俊 莫绍揆 张焕国 王金华 张帆 杨飏 王辉 孙明湘

相关术语

选择公理 γ解释 完备性定理 Markov逻辑网 保持定理 代数证明 反例 向前向后方法

标签云