单项选择题

A.定理证明
B.专家系统
C.深度学习
D.以上都是