formal deduction
formal deduction是什么意思、formal deduction怎么读
【计】 形式推导
formal deduction汉语翻译
【计】 形式推导