• ChC 3

  • 参考11篇文章[sw09781]
  • Maude一致性检查工具有条件的排序重写 理论. 为了重写 理论... 抽象的发展,关键在于理论与地面相干。此外,许多规格。。。规则R两者都是有条件的,有公理A涉及结合性,交换性的各种组合。。。排序的地面相干检验重写 理论在这些一般假设下。我们还解释。。。
  • 朱丽安

  • 引用3篇文章[sw10126]
  • 朱利安:一个微量切片机有条件的 重写 理论. 迹线切片是一种转换技术,它。。。描述第一个切片工具有条件的 重写 理论可以用来彻底。。。
  • 伊朱利恩

  • 参考6篇文章[sw09903]
  • iJulienne,用于有条件的 重写逻辑理论可以用来计算。。。
  • MTT法

  • 引用21篇文章[sw09783]
  • 显著的发展理论终止重写,它在高级编程中的应用。。。需要诸如有条件的方程和规则,类型和子类型,(可能是可编程的)策略。。。而不仅仅是重写关系。尤其是广义的重写 理论(GRT)是最近。。。
  • STAR-CCM公司+

  • 在26篇文章中引用[sw07683]
  • {it F.A.Williams}[燃烧]书籍理论. 第二版,纽约:韦斯特维尤出版社。。。介绍雷诺平均Navier-Stokes方程重写以上的守恒定律。他们还介绍。。。标准和改进操作案例条件考虑到空燃比。他们。。。
  • Java+ITP

  • 引用8篇文章[sw32259]
  • 这个片段作为等式的语义理论茂德。它支持组合推理。。。转化为语义等价的一阶验证条件(风投)然后送到莫德。。。项目采用可扩展和模块化重写编程语言的逻辑语义,为此。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • ε

  • 在39篇文章中引用[sw00244]
  • Epsilon是一个在。。。
  • 差距

  • 引用2874篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 伊莎贝尔

  • 在606篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 岩浆

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

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

  • 参考文献561篇[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 减少

  • 引用739篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。