• R-萨奇莫

  • 引用3篇文章[sw06620]
  • 并被形式化为正单位超分辨率剪掉多余的树枝。然而。。。
  • 水獭

  • 在316篇文章中引用[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。
  • 萨奇摩

  • 引用96篇文章[sw06619]
  • SATCHMO:一个用Prolog实现的定理证明程序。这个。。。
  • 校准仪

  • 引用4篇文章[sw11993]
  • 一种线性逻辑证明器(llprover)。这个小程序。。。