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

 

单词 subformula
释义
subformula
  • 简明释义
  • n.子公式
  • 网络释义
  • 1

    ?子公式

    ... 子关系:subrelation 子公式subformula 子格:sublattice ...

短语
  • 双语例句
  • 1
    Based on the relationship, a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.
    针对最小不可满足子式的求解问题,提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。
  • 词源
1

subformula:

sub- +? formula

FROM: wiktionary
随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/25 21:18:14