• 甘道夫

  • 参考33篇文章[sw10133]
  • 甘道夫是一个自动定理证明(ATP)系统。。。
  • OPLM公司

  • 参考11篇文章[sw13412]
  • OPLM:单参数Logistic模型。计算机程序和。。。
  • 荷鲁斯

  • 引用15篇文章[sw21811]
  • 荷鲁斯的设计与性能:一个轻量级的群体。。。
  • github

  • 参考1192篇文章[sw23170]
  • GitHub(原名Logical Awesome LLC)[3。。。
  • 加利娜

  • 参考6篇文章[sw27568]
  • 加利纳规范语言。这一章描述了加利娜。。。