单项选择题

下列不属于人工智能方面的应用的是()

A.机器人
B.航天飞机
C.模式识别
D.定理证明