-
伊兰
- 参考文献108篇[sw02179]
- 逻辑编程语言,约束求解器和决策程序,并提供了一个模块化的框架...逻辑编程语言,约束求解器和决策程序,并提供了一个模块化的框架... 重写范式提供了符合逻辑的 框架其中演绎系统可以表达。。。
-
精灵
- 引用了43篇文章[sw21361]
- 基于LF的程序设计语言合乎逻辑的 框架. 它没有任何联系。。。证明编程语言和逻辑学. 它已应用于各种例子,有些。。。还有一个更完整的参考书目符合逻辑的 框架一般来说。工作。。。
-
宝塔
- 在14篇文章中引用[sw08569]
- 重写逻辑 框架对于软约束。软约束扩展了经典约束来处理。。。框架对于软约束的原型化,a la Bistarelli,Montanari和Rossi in rewriting逻辑... 原型重写中的解决方案逻辑 框架对于软约束,并嵌入我们的软约束。。。
-
CVC公司
- 引用47篇文章[sw09462]
- 检查人员。决策程序逻辑学和符合逻辑的理论已经被证明是有用的工具。。。实现框架为了结合辅助决策程序符合逻辑的理论变成决定。。。
-
TVLA公司
- 参考33篇文章[sw09878]
- TVLA(三值-逻辑分析仪)。TVLA是一个“YACC”式的框架自动构造静态。。。其中使用符合逻辑的公式。TVLA已在Java中实现。。。
-
2对象
- 引用9篇文章[sw06964]
- 2OBJ是个“元”-符合逻辑的 框架“定理证明者”,即一个可以定制的系统。。。在任何需要的地方证明定理符合逻辑的并能证明有关证明的定理。。。
-
超晶
- 引用了55篇文章[sw06568号]
- 逻辑介绍了一种可执行的命令式语言。该方法提供了一个具体的框架... 与可执行文件的元项方法有关逻辑学...
-
玩具
- 引用了55篇文章[sw09812]
- 理论的框架对于以基于构造函数的重写为基础的声明性编程逻辑带着懒惰。。。
-
朋友+
- 引用3篇文章[sw21366]
- 无羔羊符合逻辑的 框架. 免费的羔羊符合逻辑的 框架采取参数化和定义。。。框架在这里,PAL+,是一个符合逻辑的 框架为了规范和实现类型理论。。。马丁-洛夫的符合逻辑的 框架(Nordström et al.,1990),可以引入计算规则。。。其他地方也可以符合逻辑的 框架通过lambda抽象。。。