请输入您要查询的英文单词：

　

单词 antecedent theorem
释义
antecedent theorem
  • 简明释义
  • 前提定理
  • 网络释义
  • 1

    ?先行词定理

    先行词定理

  • 双语例句
  • 1
    Antecedent derivation is an extension of theorem proving.
    前件推导是定理证明的一种扩展。
随便看

　

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/3/31 21:27:54