• MPTP 0.2

  • 引用了43篇文章[sw02589]
  • MPTP到标准TPTP语法相对化抽象化和非符号化。满。。。
  • 工商管理硕士

  • 17条引用[sw08724]
  • 由逻辑态射联系在一起。这些映射相对化公式和证明,从而支持翻译。。。
  • XIRQL公司

  • 引用13篇文章[sw12179]
  • 搜索,数据类型和模糊谓词,结构相对主义. 超媒体检索引擎。。。
  • 罗格莫

  • 引用8篇文章[sw01573]
  • 高级自然语言结构,如回指和相对化效率高。我们利用简单性。。。
  • 发起人

  • 参考第4条[sw06738号]
  • 范式,其中全局属性的正确性相对化关于方法的局部性质。。。
  • 伊莎贝尔

  • 在602篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 阿萨德

  • 在168篇文章中引用[sw02524]
  • ASSAT(由SAT解算器提供的答案集)是。。。
  • 扣环

  • 引用90篇文章[sw07095]
  • 卡扣:一个冲突驱动的答案集解决方案。钩子。。。