algebraic logic

常見例句

雙語例句

• 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)該得到更多肯定的支持方法；比如說這個(gè)我和珍妮佛稱之為按比例分享的簡(jiǎn)單代數(shù)方法
返回 algebraic logic