书目详细信息 : 无所不能:从逻辑运算到人工智能,计算机科学趣史