下列属于计算机的智能化研究领域的是（）。A、智能机器人B、模式识别C、专家系统D、物形分析E、定理自动证明

下列属于计算机的智能化研究领域的是（）。