Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
英文例句大全为您提供antecedent theorem英文例句大全,antecedent theorem英文造句,关于antecedent theorem的英语句子,单词antecedent theorem怎么造句,antecedent theorem英文例句大全有哪些,哪些英语句子是关于antecedent theorem,英语单词antecedent theorem的句子,单词antecedent theorem如何造句,antecedent theorem怎么造句等。