procedural deduction system的意思|示意
美 / prəˈsi:dʒərəl dɪˈdʌkʃən ˈsistəm /
英 / prəˈsidʒərəl dɪˈdʌkʃən ˈsɪstəm /
[计] 过程演绎系统