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