antecedent derivation的意思|示意
美 / ˌæntɪˈsi:dnt ˌderəˈveɪʃən /
英 / ˌæntɪˈsidnt ˌdɛrəˈveʃən /
[计] 前件推导
antecedent derivation相关例句
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。