下列哪个不是人工智能的研究领域()
A:机器证明
B:模式识别
C:人工生命
D:编译原理
出自:计算机科学