Chinese translation for "公式集"
|
- formulary
Related Translations:
数学公式: arithmetic formulamathematical formula 牵引力公式: formula of tractive effort 渗透公式: permeability formula 粗估公式: rough-and-ready formula 制动公式: retardation formula 命题公式: propositional formulastatement formula
- Example Sentences:
| 1. | Regular similarity relation on f in propositional logic 命题逻辑公式集上的正则相似关系 | | 2. | This section contains formula sheets and a tutorial , which serve as additional supporting materials for the course 这一部份包括公式集以及一个指南,是课程中额外的帮助资料。 | | 3. | 2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus 命题逻辑系统的数字化神经网络的处理对象是数据,而命题逻辑系统的处理对象是命题公式集。 | | 4. | So the paramodulation can be used in generalized clause set . the advantage of the generalized clause set is that it can avoid abound of redundancy and make describing problem more natural . this thesis proposes the generalized paramodulation in bofl and proves the soundness of it 这样可以将调解法用于一种非子句形式的公式集? ?广义子句上,从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性。 |
- Similar Words:
- "公式化方法" Chinese translation, "公式化情节" Chinese translation, "公式化影片" Chinese translation, "公式汇编程序翻译器" Chinese translation, "公式汇编翻译程序" Chinese translation, "公式及语句翻译程序" Chinese translation, "公式及语名翻译程序" Chinese translation, "公式及语言翻机" Chinese translation, "公式计算" Chinese translation, "公式计算机" Chinese translation
|
|
|