单项选择题

A.机器证明
B.模式识别
C.人工生命
D.编译原理