• 模特儿

  • 18篇参考文献[SW12368]
  • 发展得益于精益生产人构成的画面或场景-基于一阶逻辑LeTANAP的证明器ModLeanTAP…包括额外的搜索空间限制和公平性策略给出逻辑的决策过程…
  • 竖琴

  • 15篇参考文献[SW26323 ]
  • 本文介绍了HARP,一个完整的,人构成的画面或场景-基于一阶逻辑的定理证明器捕捉高效和类人演绎策略并快速检测某些类型的非定理…
  • 行波管

  • 4篇参考文献[SW17666 ]
  • 指定人构成的画面或场景-基于表达者与抽象语言人构成的画面或场景规则这种语言允许…粘贴人构成的画面或场景课本规则与指定检索策略为了应用这些规则…
  • 倾斜

  • 1篇参考文献[SW24052]
  • 直觉逻辑的定理证明器)。人构成的画面或场景-基于给出了直觉逻辑的定理证明器。程序方法是基于在一人构成的画面或场景古典逻辑的微积分,其中公式…用lambda术语。规则人构成的画面或场景微积分已被扩充用于操作…与公式同时进行。A的应用人构成的画面或场景规则不仅分解公式…
  • 塞西奥

  • 119篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • PSATO

  • 40篇参考文献[SW02635]
  • PSATO:命题可满足性的分布式并行证明器(SAT.)
  • 水獭

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

  • 363篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)