• 质量管理

  • 参考第19条[sw07137]
  • 集成各种搜索范例,如统一,语义的web或XQuery样式的查询。。。
  • 马戏团

  • 引用87篇文章[sw21828]
  • 语义学马戏团的。Circus是一种并行语言,用于精炼;它是统一...
  • 伊莎贝尔/UTP

  • 在10篇文章中引用[sw21184]
  • 研究、正式化和统一正式的语义学. 我们的贡献首先是语义的模型。。。
  • 姆兰科普

  • 参考6篇文章[sw21522]
  • 附加前缀统一,它捕获了克里普克语义学不同模态逻辑。MleanCoP被实现。。。
  • 干净

  • 参考58篇文章[sw01346]
  • 其中包括术语图重写语义学. 特别重要的是。。。动态类型检查和动态类型统一动态链接,实时编译,编码。。。
  • GHC公司

  • 引用了43篇文章[sw23765号]
  • 数据流的限制统一另一个是选择的介绍。。。由于语义学给你一个额外的保护。。。
  • Veriflog公司

  • 引用4篇文章[sw08941]
  • 提出一个语法验证框架语义的基于逻辑编程语言的验证。。。统一算法和半结构化数据的接口为语义的...
  • 投资

  • 在10篇文章中引用[sw10103]
  • 逆矩阵变换为统一在很多情况下需要运行。。。执行力可与基于缩减的语义学. 我们还描述了公司。。。
  • 林塔普

  • 参考6篇文章[sw11991]
  • 使用前缀确保线性有效性统一. 由于程序代码紧凑。。。线性逻辑。基于前缀语义的表演算。健全和完整。源代码可用。。。
  • CRC 3号

  • 引用9篇文章[sw09782]
  • 初始代数,数学语义学,及其可操作性语义学通过重写。正在检查此属性的表达。。。无交换性的结合性统一算法存在。在本文中,我们提出。。。
  • 定量的

  • 引用2篇文章[sw10107]
  • 图形重写系统及其底层语义学. 在本文中,我们强调了。。。系统通过统一矩阵方程组。因为这些方程式。。。
  • 麦芽酒

  • 引用5篇文章[sw28843]
  • Gerald Penn集成了短语结构分析,语义的-头部驱动生成与约束逻辑程序设计。。。结构特性条件。语法也可以交错统一逻辑程序目标调用的步骤。。。
  • MLOG

  • 引用2篇文章[sw02152]
  • 为λ-微积分绑定和统一为逻辑变量引入原语。。。汇合的。完全正式的行动语义学本文给出了最大似然对数的计算公式。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 拉帕克

  • 引用于1604篇文章[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 数学软件

  • 引用了5808篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。