automatic deduction的意思|示意
美 / ˌɔ:təˈmætik dɪˈdʌkʃən /
英 / ˌɔtəˈmætɪk dɪˈdʌkʃən /
自动演绎