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更多词组

专业释义

計算機科學技術

• 代數邏輯

電子、通信與自動控制技術

• 代數邏輯