antecedent derivation
读音：英 [ˌæntɪˈsiːdnt ˌderɪˈveɪʃn]
美[ˌæntɪˈsiːdnt ˌderɪˈveɪʃn]
antecedent derivation 基本解释
[计] 前件推导
antecedent derivation 用法和例句
1、Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
重点词汇
antecedent n. 前情, 先行词 a. 先前的, 先行的
derivation n. 推论, 推导, 来历 [医] 衍化, 诱导
最新查询单词：
饮酒英文
Posen
portrayals
portraits
portraitist
portname
portman
portlandite
porting
porters
更新时间：2026-11-01 05:02:39
更新时间：2026-11-01 05:02:39
antecedent derivation是什么意思 antecedent derivation怎么读 antecedent derivation中文意思 翻译