algebraic logic

基本解释

• [计算机科学技术]代数逻辑
• [电子、通信与自动控制技术]代数逻辑

英汉例句

双语例句

• This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
  该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。
• According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
  根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
• But there is also another under-appreciative alternative; the simple algebraic logic of what Jennifer and I call pro-rata sharing
  还有一些别的应该得到更多肯定的支持方法；比如说这个我和珍妮佛称之为按比例分享的简单代数方法

• algebraic logic更多例句

词组短语

短语

• algebraic logic functional language 代数逻辑函数语言
• calculator with algebraic logic 代数逻辑计算器;翻译
• algebraic logic of pocket calculator 袖珍计算机的代数逻辑

• algebraic logic更多词组

专业释义

计算机科学技术

• 代数逻辑

电子、通信与自动控制技术

• 代数逻辑