电脑体验，效果更佳

自动推理图谱-自然科学领域：

研究人员

石赫 赵文静 李传中 刘群 徐扬 李志斌 陈述 余振坤

相关术语

完全判别系统 非构造性问题 平面解析几何 Maple软件ⅤRelease51 归结原理 例证法 规则 非链格蕴涵代数上的四值命题逻辑系统LP4（X）

标签云