• 魔术

  • 12篇参考文献[SW11872]
  • 一些选择的小代数建模逻辑. 然后这些可以被用作其他…的输入。一些“有限模型”论文子结构 逻辑学
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 水獭

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

  • 2799篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • 红木

  • 155篇参考文献[SW04250]
  • ReLead是一个扩展计算机的软件包…
  • 箴言9

  • 166篇参考文献[SW0496]
  • PROVR9和MACE4:PROVR9是一个自动化的定理…