antecedent theorem
antecedent theorem是什么意思、antecedent theorem怎么读
读音：[ˌæntɪˈsiːdnt ˈθɪərəm]
[ˌæntɪˈsiːdnt ˈθiːərəm]
antecedent theorem 基本解释
网络 前提定理
重点词汇
- antecedentn. 前情, 先行词 a. 先前的, 先行的
- theoremn. 定理, 原理 [化] 定理
antecedent theorem 双语例句
- 1、
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。