为证实所有销售业务均已记录，A注册会计师应选择最有效的具体审计程序是( )。

A．抽查出库单

B．抽查销售明细账

C．抽查应收账款明细账

D．抽查银行对账单

( )为人工智能的发展指出了一条新的发展道路。