关系逻辑 logic of relations
- 关系逻辑是一门古老而又年轻的逻辑学科。
Relational logic is an old as well as young subject in the logic studies. - 这样就会允许许多Resource实现类使用相同的关系逻辑。
This would allow many Resource implementation classes to use the same relationship logic. - 该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。
Our approach is based on an extended relational calculus, and reduces the consistency problem to a satisfiability problem of relational formulae.
您正在访问的是
中国词汇量第二的英语词典
更多精彩,登录后发现......