• MPTP 0.2

  • 43篇参考文献[SW02589]
  • MPTP到标准TPTP语法的使用相对化抽象名词的分类和去匿名化。全部
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 由逻辑同态连接。这些映射相对化公式和证明,从而支持翻译…
  • 希尔克尔

  • 13篇参考文献[SW12179]
  • 搜索、数据类型和模糊谓词结构相对主义. HyRX(超媒体检索引擎)…
  • Logimo

  • 8篇参考文献[SW01573]
  • 类似回指的高级自然语言结构相对化有效地。我们利用简单性的优点…
  • 促进剂

  • 4篇参考文献[ SW067 38 ]
  • 范式,即全局属性的正确性相对化关于方法的局部性质…
  • 辅酶Q

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

  • 20篇参考文献[SW0367]
  • GNT是稳定的实验实现。
  • 毫升

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

  • 2462篇参考文献[SW04082]
  • IBM®ILOG®CPLEX®提供C、C++、Java、.NET…
  • 扣环

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