在人工智能发展早期，麦约翰·卡锡于历史性的1958年做出了多项至关重要的贡献，不包括（）

在人工智能发展早期，麦约翰·卡锡于历史性的1958年做出了多项至关重要的贡献，不包括（）
A.定义高级语言Lisp
B.建造几何定理证明器
C.发明分时技术
D.发表题为“有常识的程序”的论文
正确答案：建造几何定理证明器