• 2022-10-30
    本节课介绍了几何自动推理的哪些基本操作?
    A: 自动推理和继续推理
    B: 查找推理库中的信息
    C: 添加辅助条件或结论
    D: 设置推理规则和方法