使地计算机管理职工工资、用计算机进行定理的自动证明，分别属于计算机在（）应用领域的应用。

使地计算机管理职工工资、用计算机进行定理的自动证明，分别属于计算机在（）应用领域的应用。
A．数据处理、人工智能(正确答案)
B．科学计算、辅助设计
C．办公自动化、网络应用
D．实时控制、数据处理