• 忒修斯

  • 引用8篇文章[sw19037]
  • 数据类型、函数定义图案匹配,并且是图灵完成。语言强烈。。。
  • PPDB公司

  • 引用2篇文章[sw33749]
  • 以及1.4亿的释义模式,哪个帽子-真正的许多保留意义的句法转换。。。
  • 雅特尔

  • 引用2篇文章[sw22192]
  • 来自数据库社区:它不是图灵完成了,但它捕获了一个大类。。。数据库语言:特别是递归,引用处理,图案匹配和备选方案的处理。第二。。。
  • 调试工具

  • 在0篇文章中引用[sw37692]
  • 基于区块链的主要智能合约平台-图灵完成执行的程序。。。中间表示,并根据XPath进行检查模式. 我们评估了我们的工具。。。
  • ACL2

  • 引用281篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 参考101篇文章[sw00108]
  • CASA是一个专门用于计算。。。
  • 差距

  • 引用了3003篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 数学软件

  • 参考6129篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 引用8904篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • RKC公司

  • 引用116篇文章[sw00808]
  • RKC:抛物线偏微分方程的显式求解器。安。。。
  • 内容

  • 引用了37篇文章[sw01058]
  • 软件包内容中地图的分叉。。。
  • 自动

  • 在911文章中引用[sw01059]
  • AUTO是一个连续和分叉的软件。。。