• ETPS公司

  • 在152篇文章中引用[sw06302]
  • 包含对展开证明的裁剪,以及求解统一高阶逻辑中的问题。。。
  • 特雷斯普

  • 引用63篇文章[sw14217]
  • 特雷斯普-A统一用层次树方法对SPH进行了分析。一个新的通用代码。。。没有引入网格。A统一用层次树方法对SPH进行分析。。。
  • 马戏团

  • 引用87篇文章[sw21828]
  • 用于求精的并发语言;它是统一命令CSP,Z,和精化。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 包含对展开证明的裁剪,以及求解统一高阶逻辑中的问题。。。
  • 干净

  • 参考58篇文章[sw01346]
  • 动态类型检查和动态类型统一动态链接,实时编译,编码。。。
  • 火龙

  • 引用47篇文章[sw14923]
  • 获得解决方案。Firedrake雇佣了统一的形式语言(UFL)来自FEniCS项目,而。。。
  • 精益警察

  • 引用23条[sw09756]
  • 添加前缀和前缀统一算法。我们评估和评估这两个实现的细节。。。
  • CFTs4D

  • 参考22篇文章[sw23882]
  • 计算引导。它基于统一两种独立的嵌入方法。。。
  • 质量管理

  • 引用19篇文章[sw07137]
  • 集成各种搜索范例,如统一、语义web或XQuery样式的查询。。。
  • 闪电战

  • 引用15篇文章[sw21346]
  • 表示术语,使用统一和匹配。这些测试的主要结果。。。
  • DLV-EX公司

  • 在14篇文章中引用[sw04642]
  • 有外部的知识来源,或统一. 价值观引入了一个框架。。。
  • 设备

  • 参考12篇文章[sw15620]
  • 强项是结合交换的良好实现统一匹配,各种策略。。。
  • CS序言

  • 参考7篇文章[sw00171]
  • 序言:一个广义的统一基于约束求解器的约束逻辑编程(CLP)是一种很有前途的扩展。。。PROLOG)显示。一种新的统一为了克服标准序言的一些不足。。。对Dincbas的介绍进行了解释和推广统一在此基础上进行了介绍。扩展名。。。
  • 朱诺-2

  • 参考11篇文章[sw07216]
  • 只相当于统一闭包)和一个复杂的数值求解器。。。
  • 雅典娜

  • 在10篇文章中引用[sw09967]
  • 在术语和公式上,有效匹配和统一算法等),同时克服一些。。。
  • 投资

  • 在10篇文章中引用[sw10103]
  • 逆矩阵变换为统一在许多情况下需要在运行时。。。
  • 伊莎贝尔/UTP

  • 在10篇文章中引用[sw21184]
  • 研究框架、形式化和统一形式语义学。我们的贡献是,首先。。。
  • CRC 3号

  • 引用9篇文章[sw09782]
  • 无交换性的结合性统一算法存在。在本文中,我们提出。。。
  • 古怪的

  • 参考6篇文章[sw09889]
  • XCentric的显著特点是统一任意函子项的算法。。。XML语言)。这种新形式的统一再加上适当地使用类型。。。