• 埃兰

  • 108篇参考文献[SW02179]
  • 逻辑编程语言,约束求解器和决策过程,并提供模块化框架逻辑编程语言,约束求解器和决策过程,并提供模块化框架重写的范例既提供了符合逻辑的 框架其中演绎系统可以表达…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 各种相关类型系统-爱丁堡逻辑的 框架(LF),结构演算…
  • 精灵

  • 43篇参考文献[SW21361]
  • 基于LF的程序设计语言逻辑的 框架. 它没有任何联系…编程语言的性质证明逻辑学. 它已被应用于各种实例,一些…也是一个更完整的参考书目符合逻辑的 框架一般来说。工作
  • GF

  • 32篇参考文献[SW13667 ]
  • 定义语法。它使用了逻辑的 框架(LF)用于抽象语法的描述…
  • 美泰普尔

  • 26篇参考文献[SW04624]
  • 事情:这是一个符合逻辑的 框架其中倍数逻辑学可以定义和相关…
  • 远端的

  • 96篇参考文献[SW01746]
  • 阈值层网络逻辑单位有吸引力框架对于图案的设计…
  • 宝塔

  • 14篇参考文献[SW08569]
  • 重写逻辑 框架对于软约束。软约束扩展经典约束来处理…框架软约束的原型——《罗西》、《蒙塔纳里》和《重写》逻辑我们的原型改写中的解决方法逻辑 框架对于软约束,嵌入了软约束…
  • 德尔芬

  • 18篇参考文献[SW21365 ]
  • 用数据。一级是符合逻辑的 框架LF〔5〕,用作德尔芬的数据…
  • 羊蹄

  • 58篇参考文献[SW1548]
  • 更一般的波传播算法框架. 可以使用这个扩展…容量函数,以及逻辑上矩形曲线网格。发达国家框架需要一种改进的方法…
  • 极小值

  • 45篇参考文献[SW29 625]
  • 直觉语气情态逻辑S4提供了表现力框架用于计算和分析计算阶段…
  • 氯化铯

  • 47篇参考文献[SW09462]
  • 检查员。可判定的决策程序逻辑学符合逻辑的理论已被证明是有用的工具…实现一个框架合并辅助决策程序符合逻辑的理论变成决策
  • 爪哇拖把

  • 17篇参考文献[SW14034 ]
  • 形式主义可以包含在框架通过逻辑插件,允许一个参考…
  • n3-逻辑

  • 9篇参考文献[SW03]
  • N3Logic:A符合逻辑的 框架对于万维网,语义网向……迈进。交互作用逻辑上互联数据通过资源描述等知识模型框架
  • 2OBJ

  • 9篇参考文献[SW06964 ]
  • 2OBJ是一个“元-符合逻辑的 框架定理证明器,即一个可以定制的系统…任意定理的证明符合逻辑的系统,并证明了证明定理。
  • TVLA

  • 32篇参考文献[ SW0988]
  • TVLA(三值)逻辑分析器)。TVLA是一种“YACC”式的。框架自动构建静态…其中使用操作语义指定符合逻辑的公式。TVLA已经在Java中实现了…
  • 梅塔姆

  • 55篇参考文献[SW06568]
  • 逻辑介绍了一种可执行命令语言。提供混凝土的方法框架关于可执行文件的元方法逻辑学
  • 分离逻辑

  • 7篇参考文献[SW28 59]
  • 分离逻辑 框架对于命令性的HOL。我们提供了一个框架用于分离-逻辑基于正确性…
  • 遥控玩具

  • 55篇参考文献[SW09812]
  • 理论的框架对于声明性编程,其基础是基于构造函数的重写。逻辑带着懒惰…
  • 维利尔

  • 8篇参考文献[SW13522]
  • 设计是整合富人符合逻辑的 框架-类似于一个支持…需要大量的补充逻辑语言,所以健全是有保证的。我们建造了…
  • PAL+

  • 3篇参考文献[SW21366 ]
  • 无拉姆达符合逻辑的 框架. 无λ符合逻辑的 框架进行参数化和定义…框架这里介绍,PAL+,是符合逻辑的 框架对于类型理论的规范和实现…马丁洛夫符合逻辑的 框架(NordSr.Om等人,1990),可以引入计算规则…其他人可以做到符合逻辑的 框架通过lambda抽象…