• 瘦身

  • 在26篇文章中引用[sw15148]
  • 方法在一个支持用户交互和构造完全指定的框架中公理的...
  • 巴特

  • 引用2篇文章[sw01950]
  • 影响图,分类层次,以及方法对于默认推理和属性继承,基于。。。标准计算和公理的推论。。。
  • 曾荫权

  • 1条引用[sw21723]
  • 受限制的公理的语义,并显示公理的语义正是允许这些执行被探索。。。浏览器。我们的结果显示方法可以检测超出范围的种族。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,在其中。。。
  • 公理

  • 在169篇文章中引用[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 灰姑娘

  • 在141篇文章中引用[sw00127]
  • 交互式几何软件。除了支持动态。。。
  • 伊莎贝尔

  • 在601篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 数学软件

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

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

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

  • 在102篇文章中引用[sw01361]
  • 在这项工作中,我们提出了生物PEPA,一个。。。