• 太阳能

  • 18篇参考文献[SW088]
  • 太阳能(高级推理溶胶)是第一个…
  • 埃兰

  • 108篇参考文献[SW02179]
  • ELAN系统提供了用于指定…的环境。
  • 耶斯

  • 132篇参考文献[SW044 36]
  • Yice是一个有效的SMT求解器,它决定了…
  • Obj3

  • 137篇参考文献[SW05370]
  • Obj3是一个程序规范和证明系统。
  • 莫德

  • 649篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 扣环

  • 82篇参考文献[SW07095]
  • CLASP:一个冲突驱动的答案集求解器。扣…
  • CVC4

  • 94篇参考文献[SW0985]
  • CVC4是一种有效的开放源码自动定理。
  • ITP

  • 31篇参考文献[ SW09808]
  • ITP工具是一个定理证明器。
  • DPPD

  • 14篇参考文献[SW0984]
  • DPPD(几十个问题部分扣除)…
  • OpenCV

  • 83篇参考文献[SW11376]
  • OpenCV(开源计算机视觉库)是一个…