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 functional language 代數邏輯函數語言
- calculator with algebraic logic 代數邏輯計算器;繙譯
- algebraic logic of pocket calculator 袖珍計算機的代數邏輯
短語
专业释义
- 代數邏輯
- 代數邏輯