• 卡德

  • 1条引用[sw32231]
  • 域是被赋予操作它映射了代数的每一个元素。。。域与代数抗肿瘤药(域补码)操作在伊莎贝尔/荷尔,从领域。。。
  • TPTP

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

  • 引用172篇文章[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。
  • 肉豆蔻4

  • 在198篇文章中引用[sw06905]
  • 有限模型查找器Mace4。Mace4是一个程序。。。