软件名称：[B]LoTREC 2.0[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：19.3 MB
官方主页：Home Page
更新时间：2013-03-08 10:45:00
软件简介:

允许你测试逻辑的战略和公式。

LoTREC是一个画面定理证明的学生和研究人员，处理模态逻辑实现。

它可以让你创建一个逻辑定理，创建一组连接器，规则和策略。为了测试的逻辑式，将被用在所有的项目。

要求：

·相关 Java运行时

此版本中的神器出山:www.shenqi73.com新功能：

推出的Tableau制造商控制：停止，暂停/恢复模式的场面建设过程中给予用户更多的控制。因此，无限循环，可能引发不可预知的行为的一些规则组合，可以手动停止的用户。
·步骤分步运行模式：用户可以破发点上他们的规则，任何的子集，LoTREC将展示如何建立的模型应用给定的画面时，规则变化。
·新套路“applyOnce”：这个程序引入到前端调用给定的规则。事实上，当一个给定的规则应用上的部分画面，LoTREC寻找每一个图模式匹配规则的条件和适用规则的行动，对所有的模式相匹配。这就是为什么用户不能适用的规则只有一个匹配的模式，然后记住它的完成，为了不适用其他的模式相匹配。例如，当两个岛被发现在两个diffrent节点在同一时间，的规则创建继任者，将创建两个继承人和C ...

[url=http://www.sot9.com/soft/139519.html][B]LoTREC 2.0[/B][/url]

点这里下载->LoTREC 2.0 [ 下载地址 ]