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