电脑体验，效果更佳

江建国图谱-计算机领域：

相关人员

张景中 王晓京

研究领域

等价类推理 几何定理机器证明 标准项代换 等词 冗余推理 几何等价谓词 搜索法 Rete 算法

所属机构

辽宁师范大学数学学院 中国科学院成都计算机应用研究所 辽宁大连116029中国科学院成都计算机...

标签云