algebraic logic

常見(jiàn)例句

This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
該文提出了一種基於代數(shù)重寫邏輯的UML模型一致性檢查的方法。
According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
根據(jù)邏輯代數(shù)方程理論，提出了格蘊(yùn)涵代數(shù)方程的概唸。
But there is also another under-appreciative alternative; the simple algebraic logic of what Jennifer and I call pro-rata sharing
還有一些別的應(yīng)該得到更多肯定的支持方法；比如說(shuō)這個(gè)我和珍妮彿稱之爲(wèi)按比例分享的簡(jiǎn)單代數(shù)方法