• 斯帕斯

  • 在177篇文章中引用[sw04108]
  • SPASS是一种自动化的定理第一个。。。
  • 验证9

  • 在174篇文章中引用[sw04969]
  • Prover9和Mace4:Prover9是一个自动化的定理...
  • 数量

  • 在146篇文章中引用[sw07543]
  • 计算逻辑手册。这本书是。。。
  • CVC4

  • 在102篇文章中引用[sw09485]
  • CVC4是一种高效的开源自动定理...
  • 尖峰

  • 参考22篇文章[sw10186]
  • 斯派克,一个自动的定理证明人。。。