• 库莫

  • 5篇参考文献[SW06963]
  • 减速发动机。最重要的推论 规则在一阶逻辑和隐式等式逻辑中…
  • RSPOP

  • 6篇参考文献[SW02562]
  • 在给定的条件下存在许多可能的约简。规则制定了一套客观的措施。正确识别改进的约简推断后果。实验结果是使用已发表的…规则在POFFNN中使用成分规则属于推论单纯形模糊算子(PopfNN)。模糊系统的模糊辨识规则提高了POPFNN的精度。
  • 斯纳克

  • 4篇参考文献[SW19611]
  • 在普通LISP中发展。其主要推论 规则是分辨率和参数化。斯纳克的风格…
  • n3-逻辑

  • 9篇参考文献[SW03]
  • 意味着使用规则使推论选择行动课程,回答问题……什么都行。N3Logic是一个允许逻辑。规则要在网络环境中表达…
  • 埃普吉

  • 3篇参考文献[SW28 722]
  • 标准证明策略与逻辑推论 规则数学应用规则并验证逻辑…推论. 每门课程都有自己的语言、定理库和数学。规则. 系统…
  • 卡普里

  • 2篇参考文献[SW21330]
  • 规格推论 规则PTTP技术的扩展。我们提出一种语言来指定…推论 规则. 它显示了如何使用这样的规范来控制翻译…
  • 藜芦醇

  • 10篇参考文献[SW0949]
  • 编程模型,一组规则限制线程推论同步点使得…
  • VIPR

  • 3篇参考文献[ SW18034 ]
  • 数量有限但简单有力推论 规则. 我们提出了一个补充验证工具…
  • 三倍的

  • 21篇参考文献[SW02460]
  • 三重查询推论语义网的转换语言。本文提出三重…分层模块化规则语义网的语言。三元组是基于喇叭逻辑…
  • 米基塔

  • 1篇参考文献[SW0920]
  • 选择判断并点击推论 规则应用,而不必担心虚拟元…用用户定义的判断参数化推论 规则. 因为MiKiTeta允许任意副作用免费…用户代码推论 规则可以通过环境等复杂操作来构建GUI。
  • 真廖

  • 2篇参考文献[SW24045 ]
  • 由公理构成的逻辑,推论 规则改写规则也在构造证明…
  • 因瓦

  • 2篇参考文献[SW10124]
  • 少数应用推论 规则. 通过多种技术的结合,如统一…
  • 调试器

  • 15篇参考文献[SW09904]
  • 通过添加重写扩展MEL的更改规则,它对应于状态之间的转换…非确定性的我们在这里提出一个微积分。推断约简排序推论正常形式,至少…通过重写和设置可达项规则. 我们用证明的缩写…
  • 西姆普尔

  • 1篇参考文献[ SW227 25]
  • CSIMPL语义及其提供推论 规则对于语言构造函数的CSimpl…使用依赖保证,显示推论 规则是语言语义的W.R.T。最后…
  • CCTRO3

  • 3篇参考文献[SW29 61]
  • 本文回顾了规则属于推论对于这些原始连接词及其语言…
  • 丹尼德

  • 8篇参考文献[SW23 919]
  • 限制约束推断从启发式数据规则. 这个计划不包括假设。