• 濑户

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

  • 参考文献368篇[sw04143]
  • TPTP(成千上万的定理证明问题。。。
  • 蛋白质

  • 引用15篇文章[sw21342]
  • 蛋白质,一个理论界面的证明者。蛋白质。。。