• 伊兰

• 参考文献108篇[sw02179]
• 逻辑编程语言，约束求解器和决策程序，并提供了一个模块化的框架...逻辑编程语言，约束求解器和决策程序，并提供了一个模块化的框架... 重写范式提供了符合逻辑的 框架其中演绎系统可以表达。。。

• 乐高

• 引用107篇文章[sw09685]
• 各种相关类型的系统-爱丁堡合乎逻辑的 框架（LF），构造演算。。。

• 精灵

• 引用了43篇文章[sw21361]
• 基于LF的程序设计语言合乎逻辑的 框架. 它没有任何联系。。。证明编程语言和逻辑学. 它已应用于各种例子，有些。。。还有一个更完整的参考书目符合逻辑的 框架一般来说。工作。。。

• GF公司

• 引用32篇文章[sw13667]
• 定义语法。它使用一个合乎逻辑的 框架（LF）对于抽象语法的描述。。。

• 远端

• 参考文献99篇[sw01746]
• 阈值层网络逻辑单位提供有吸引力的框架对于图案的设计。。。

• 梅塔普利

• 在26篇文章中引用[sw04624]
• 事情：它是一个符合逻辑的 框架其中多个逻辑学可以定义和关联。。。

• 宝塔

• 在14篇文章中引用[sw08569]
• 重写逻辑 框架对于软约束。软约束扩展了经典约束来处理。。。框架对于软约束的原型化，a la Bistarelli，Montanari和Rossi in rewriting逻辑... 原型重写中的解决方案逻辑 框架对于软约束，并嵌入我们的软约束。。。

• AMRCLAW公司

• 引用64篇文章[sw15478]
• 波传播算法在更一般的框架. 这个扩展可以用来。。。功能和功能逻辑上矩形曲线网格。发达国家框架需要修改方法。。。

• 德尔芬

• 引用18条[sw21365]
• 用数据。一个级别是符合逻辑的 框架如果[5]，作为Delphin的数据。。。

• 最小值

• 引用47篇文章[sw29625]
• 直觉模态逻辑S4提供了一种表达框架用于指定和分析计算阶段。。。

• 爪哇拖把

• 引用了20篇文章[sw14034]
• 形式主义可以包括在框架通过逻辑插件，允许用户引用。。。

• CVC公司

• 引用47篇文章[sw09462]
• 检查人员。决策程序逻辑学和符合逻辑的理论已经被证明是有用的工具。。。实现框架为了结合辅助决策程序符合逻辑的理论变成决定。。。

• N3Logic公司

• 引用9篇文章[sw02003]
• N3逻辑：A符合逻辑的 框架对于万维网来说，语义网正朝着。。。与逻辑上互联数据。通过资源描述等知识模型框架...

• TVLA公司

• 参考33篇文章[sw09878]
• TVLA（三值-逻辑分析仪）。TVLA是一个“YACC”式的框架自动构造静态。。。其中使用符合逻辑的公式。TVLA已在Java中实现。。。

• 2对象

• 引用9篇文章[sw06964]
• 2OBJ是个“元”-符合逻辑的 框架“定理证明者”，即一个可以定制的系统。。。在任何需要的地方证明定理符合逻辑的并能证明有关证明的定理。。。

• 超晶

• 引用了55篇文章[sw06568号]
• 逻辑介绍了一种可执行的命令式语言。该方法提供了一个具体的框架... 与可执行文件的元项方法有关逻辑学...

• 分离逻辑

• 参考7篇文章[sw28549]
• 分离逻辑 框架对于祈使式霍尔。我们提供框架为了分离-逻辑基于正确性。。。

• 玩具

• 引用了55篇文章[sw09812]
• 理论的框架对于以基于构造函数的重写为基础的声明性编程逻辑带着懒惰。。。

• VeriML公司

• 引用8篇文章[sw13522]
• 设计是为了整合一个丰富的符合逻辑的 框架--和那个类似的。。。需要对逻辑语言，所以稳妥是有保证的。我们建造了。。。

• 朋友+

• 引用3篇文章[sw21366]
• 无羔羊符合逻辑的 框架. 免费的羔羊符合逻辑的 框架采取参数化和定义。。。框架在这里，PAL+，是一个符合逻辑的 框架为了规范和实现类型理论。。。马丁-洛夫的符合逻辑的 框架（Nordström et al.，1990），可以引入计算规则。。。其他地方也可以符合逻辑的 框架通过lambda抽象。。。