• 水獭

  • 312篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…
  • 长条

  • 14篇参考文献[SW04650]
  • 条带:用于有效证据搜索的结构共享。这个。。。
  • 洛特雷

  • 24篇参考文献[SW0764]
  • LoTREC:逻辑TabLoux研究工程伙伴。在这…
  • 杰莫尔

  • 11篇参考文献[SW0978]
  • JProver:将基于连接的定理证明集成到交互式…
  • 奎比

  • 27篇参考文献[SW11381]
  • Qube:一个用于确定量化布尔公式的系统…
  • P.ReX

  • 8篇参考文献[SW21344 ]
  • 菲德勒,A: P.rex:一个交互式的证明解释者。