电脑体验，效果更佳

合成规则图谱-自然科学领域：

研究人员

赵艳芳 吴根秀 冯燕彬 杨善林 朱卫东 黄立冬 周光中 唐小娟

相关术语

主观证据推理 程序正确性证明 推论规则 谓词逻辑 光速不变原理 冲突 惯性参考系 冲突强度

标签云