• 巴别塔

  • 71篇参考文献[SW03018]
  • 它提供了最少的概念。埃尔布朗 模型为巴别塔项目。我们同时发展语义…证明最小的存在性埃尔布朗 模型以及一个健全的结果…
  • 摩根

  • 6篇参考文献[SW21347 ]
  • 有限的埃尔布朗ModGen以一阶公式作为输入,并生成模型
  • 岩浆

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

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

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

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

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

  • 8篇参考文献[SW01573]
  • LogiMOO:一个可扩展的多用户虚拟世界…
  • CASL

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

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