• ETPS公司

  • 在152篇文章中引用[sw06302]
  • 第一定理和证明较高的-秩序逻辑交互的,自动的,或混合的。。。展开证明和求解统一中的问题较高的-秩序逻辑。它有一个公式。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 第一和定理的证明较高的-秩序逻辑交互的,自动的,或混合的。。。展开证明和求解统一中的问题较高的-秩序逻辑。它有一个公式。。。
  • 雅典娜

  • 在10篇文章中引用[sw09967]
  • 逻辑,包括较高的-秩序逻辑。它保留了first的可操作性-秩序逻辑(完整性,紧凑性。。。和超效率的公式统一算法等),同时克服一些。。。
  • 蛤蜊3

  • 在0篇文章中引用[sw19621]
  • 有评论家的校样策划师,还有一些较高的-秩序 统一,在蛤蜊的v3分支。。。
  • Nuprl灯

  • 1条引用【sw31982】
  • Nuprl Light:一个实现框架较高的-秩序逻辑学。本文描述的是Nuprl光。。。伊莎贝尔。但是,伊莎贝尔使用较高的 秩序 统一解决方案,Nuprl Light保留了一个策略。。。
  • 伊莎贝尔

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

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

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

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • 减少

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

  • 引用3篇文章[sw00923]
  • 文中给出了用于仿真的系统子表达式。。。
  • 毫升

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