多项选择题

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

A.智能机器人
B.模式识别
C.专家系统
D.物形分析
E.定理自动证明