• VMTL公司

  • 引用8篇文章[sw10065]
  • 行为有条件的学期重写 系统(CTRSs)。使用最新的变革型的技术。。。
  • 二氧化碳

  • 1条引用[sw28113]
  • 证明有条件的学期重写 系统(CTRS)通过使用变革型的接近。工具。。。
  • 朱丽安

  • 第3条引用[sw10126]
  • 有条件的 重写理论。跟踪切片是一种转型减少执行大小的技术。。。有条件的 重写可以用来大幅度减少复杂的、文本庞大的理论系统计算。。。
  • GMTE公司

  • 引用2篇文章[sw07046]
  • 订单到模型系统具有动态和/或演化配置。图形转型包括两个主要。。。图匹配与图重写. 目前,很少有图形转型工具支持多标签图形。。。接近重写GMTE使用的规则结合了单次推出重写edNCE语法规则。。。图表重写规则。此外,GMTE匹配还使用有条件的规则架构。。。
  • ACL2

  • 引用了275篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 引用2735篇文章[sw00320]
  • GAP是系统对于计算离散代数。。。
  • 岩浆

  • 引用2747篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

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

  • 引用524篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 恶心

  • 引用544篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 减少

  • 引用738篇文章[sw00789]
  • REDUCE是一个交互式的系统对于一般代数。。。
  • 圣哲

  • 在1538篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 棱镜

  • 引用397篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。