在线词典、英汉互译——拾起网旗下优秀频道!
     

 computation by deduction

按演绎计算