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