自动定理证明的常用方法有3大类：自然演绎法、判定法、定理证明器。() - 查题网

>> 大连理工大学 / 人工智能

大连理工大学 / 人工智能

正确率：100%

自动定理证明的常用方法有3大类：自然演绎法、判定法、定理证明器。()

A.正确

B.错误

积分

人工智能

参考答案：

点击查看答案

佳题速递：

下列有关期权估值模型的表述中正确的有()。证券投资学

在问卷设计中，间接法和虚拟法都属于()。大众传播学

一端嵌固在墙体中的悬臂阳台板，墙体对其的作用力可简化为()。工程力学（二）

计算机只可以处理数字信号，不能处理模似信息。()计算机应用基础

单相桥式全控整流电路一共有()只晶闸管。现代电力电子及变流技术

企业文化具有明显的个性特征。()现代企业管理