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
還有一些別的應該得到更多肯定的支持方法；比如說這個我和珍妮彿稱之爲按比例分享的簡單代數方法