...cIassificationof Terminologies）的新一代产品，是英国曼城斯特大学 开发的一个描述逻辑分类器，提供对模型逻辑（model logic）的可满足性测试，采用了客户端／服务器模式。 FaCT++采用FaCT的算法，二者均采用tableaux算 法。
基于28个网页-相关网页
Action Model Logic 行动模型逻辑
logic model 逻辑模型 ; 逻辑模式
Model Logic and Philosophy 模态逻辑与哲学
Logic Data Model 逻辑数据模型
System Logic Model 系统逻辑模型
Programme Logic Model 程序逻辑模式
Functional and Logic Model 函数与逻辑模型
Static logic model 静态逻辑模型
With the theory of model logic being raised, the problem of global unification and its identification, as well as essentialism, are also put forward.
随着模态逻辑的兴起,还提出了跨世界同一及其识别问题,以及与这个问题有着密切联系的关于本质主义的争论。
参考来源 - 同一性与指称理论评析·2,447,543篇论文数据，部分数据来源于NoteExpress
Rails migrations let you use model logic with your data migration where SQL scripts don't.
Rails迁移支持把模型逻辑用于数据迁移，而sql脚本做不到这一点。
Such a design makes maintenance all but impossible, because whenever the view changes, you must change the model logic, and vice versa.
这样的设计使得维护几乎不可能实现，因为无论视图何时改变，您都必须改变模型逻辑，反之亦然。
The monitor model debugger was added in monitor V6.1.2 as way to understand the operation of a monitor model and to identify and resolve model logic problems.
在Monitor V6.1.2中添加了Monitor模型调试工具，以了解监视器模型的操作，并确定和解决模型逻辑问题。
应用推荐