在自动定理证明研究方面在国际上有影响的我国知名科学家是：

A. 技术驱动

B. 数据驱动

C. 算法驱动

D. 设备驱动

A. 输入层

B. 卷积层

C. 隐藏层

D. 输出层

A. 元素

B. 像素

C. 特征

D. 部件

A. zeros

B. ones

C. empty

D. arange

A. t+1时刻状态取决于t时刻状态

B. t-1时刻状态取决于t+1时刻状态

C. t+2时刻状态取决于t时刻状态

D. t+1时刻状态和t时刻状态相互独立

A. 关联规则

B. 相关分析

C. 线性分析

D. 分布规则

A. 用户

B. 综合数据库

C. 推理机

D. 知识库