• 摩根

  • 6篇参考文献[SW21347 ]
  • 完成定理有限阶一阶逻辑的证明器埃尔布朗ModGen接受一级订单…一般解决困难的问题定理发现ModGen很容易…
  • 岩浆

  • 2564篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • 超小卫星

  • 511篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • TPS

  • 68篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…
  • Perl

  • 251篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • CASL

  • 160篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 水獭

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

  • 342篇参考文献[SW04143]
  • TPTP(数以千计的问题)定理进步者…