单项选择题

1950年,图灵在他的论文()中,提出了关于机器思维的问题。 A.
《论数字计算在决断难题中的应用》 B.
《论可计算数及其在判定问题中的应用》 C.
《可计算性与λ可定义性》 D.
《计算和智能》