当前学科:计算机科学与技术
  • 题目: 未知类型
    自动定理证明的常用方法有3大类:自然演绎法、判定法、定理证明器。()

      A.正确

      B.错误

    答案: <查看本题扣1积分>

    查看答案

    答案不对?请尝试站内搜索