• 原型-1

  • 参考7篇文章[sw02876]
  • 支持所需的多态顺序排序统一. 它与数据库推理机进行通信,实现。。。
  • 林塔普

  • 参考6篇文章[sw11991]
  • 使用前缀确保线性有效性统一. 由于程序代码紧凑。。。
  • 姆兰科普

  • 参考6篇文章[sw21522]
  • 前缀连接演算和附加前缀统一,它捕获了不同。。。
  • 引用3篇文章[sw02357]
  • 约束语言与类型化编译系统-统一语法。这件作品呈现出光,一个特征。。。基于演绎的自下而上类型化分析-统一语法。我们概述了它的形式定义。。。特征结构的扩展抽象机统一...
  • 麦芽酒

  • 引用5篇文章[sw28843]
  • 结构特性条件。语法也可以交错统一逻辑程序目标调用的步骤。。。
  • WaveSpect0

  • 引用4篇文章[sw08760]
  • 介绍了步距的处理过程统一自适应平稳离散小波去噪,基线校正。。。
  • Veriflog公司

  • 引用4篇文章[sw08941]
  • 这种语言基于一种新的统一算法和半结构化数据的接口。。。
  • 斯诺克

  • 引用4篇文章[sw19611]
  • SNARK是它对特殊的支持统一程序综合的算法,分类,答案构造,程序。。。
  • 多股

  • 引用3篇文章[sw00602]
  • 依靠有限的国家机器统一. 它可以应用于创作。。。
  • 规则合并

  • 引用3篇文章[sw22849]
  • 模型转换系统。但是,人工识别和统一类似的规则是一个乏味的。。。
  • 统一的

  • 1条引用[sw33151]
  • 包裹统一的:的统一的分配。概率函数,glm()的族和工作的Stan代码。。。统一的发行(Quijano-Xacur,2019年;
  • 吞咽

  • 1条引用[sw21217]
  • 吞咽:图形统一和逻辑编程。吞咽(图统一逻辑编程)是一个Prolog预处理器。。。统一-基础语法。将程序翻译成标准的Prolog结构。吞咽是一样强大的。。。
  • MLOG

  • 引用2篇文章[sw02152]
  • 为λ-微积分绑定和统一为逻辑变量引入原语。。。
  • SMCHR公司

  • 引用2篇文章[sw09322]
  • 内置的“约束求解器支持与相等统一和正当理由。。。
  • 定量的

  • 引用2篇文章[sw10107]
  • 系统通过统一矩阵方程组。因为这些方程式。。。
  • 入侵

  • 引用2篇文章[sw10124]
  • 多种技术的结合,如统一,缩小,等式定义的等式谓词,和SMT求解。。。
  • 囤积

  • 引用2篇文章[sw28890]
  • 对称性(通过在统一微积分使用的算法),以及证明验证。。。