• 水獭

  • 在310篇文章中引用[sw02904]
  • 条款,重写条款,克努斯-本迪克斯 完成权重和指导策略。。。
  • 香车叶草

  • 引用44篇文章[sw19568]
  • 逻辑。它的证明程序是可靠的克努斯-本迪克斯 完成[BDP89]。沃尔德迈斯特的主要优势。。。
  • kbmag公司

  • 17条引用[sw04845]
  • 一些运行克努斯-本迪克斯 完成关于有限半群,幺半群的程序。。。
  • 罗斯洛普

  • 在10篇文章中引用[sw10019]
  • 带有现代终端检查器。A克努斯-本迪克斯 完成程序由一个简化参数化。。。二手的,现代的完成工具通常只实现克努斯-本迪克斯和路径排序。因此,理论。。。哪一个完成可能会产生一个决策程序仅限于那些。。。关于现在的变体克努斯-本迪克斯 完成在程序中没有。。。
  • 折扣

  • 引用13篇文章[sw19613]
  • 使用了一个扩展版的不朽克努斯-本迪克斯 完成能够处理。。。
  • 提洛尔人

  • 引用89篇文章[sw07830]
  • 术语重写系统。它是完全地重新设计了TTT的继任者。当前(非)端接技术。。。参数过滤,边界,依赖对方法,克努斯-本迪克斯顺序,字典路径顺序,循环检测,矩阵。。。
  • mkbTT公司

  • 引用5篇文章[sw10018]
  • 多重-完成使用终端工具。克努斯-本迪克斯 完成是自动演绎中的经典微积分。。。
  • KBCV公司

  • 引用2篇文章[sw19459]
  • KBCV公司--克努斯-本迪克斯 完成可视化工具。本文描述了一个用于克努斯-本迪克斯 完成...
  • THEOPOGLES公司

  • 引用2篇文章[sw10105]
  • 多项式和一个特殊的克努斯-本迪克斯程序。THEOPOGLES是一个完成第一个定理证明器。。。基于一个特殊的克努斯-本迪克斯 完成处理一阶多项式的过程。方法。。。
  • 差距

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

  • 引用2747篇文章[sw00540号]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 超小卫星

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

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

  • 在14篇文章中引用[sw00718]
  • CSCS-ETH/NEC联合并行协作。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • TPTP

  • 引用372篇文章[sw04143]
  • 成千上万的tp定理证明者。。。
  • 米兰达

  • 引用了150篇文章[sw04986]
  • 米兰达:一种具有多态性的非严格函数语言。。。