• 梅特尔

  • 引用15篇文章[sw11990]
  • 梅特尔:A人构成的画面或场景 校准器与逻辑无关的推理机。MetTeL是一个普通的人构成的画面或场景 校准器... MetTeL的组件是逻辑独立的人构成的画面或场景推理机。一个新颖的特点是。。。
  • 斯巴达克斯

  • 在14篇文章中引用[sw12426]
  • 斯巴达克斯:A人构成的画面或场景 校准器混合逻辑。斯巴达克斯是一个人构成的画面或场景 校准器对于混合多式联运。。。
  • 萨奇摩

  • 引用96篇文章[sw06619]
  • 校准器由一个小的Prolog程序给出,该程序实现了人构成的画面或场景证明程序。。。
  • 竖琴

  • 引用16条[sw26323]
  • 竖琴:A人构成的画面或场景-基定理校准器. 本文介绍了竖琴,一个完整的,人构成的画面或场景-基于定理。。。
  • ModLeanTAP公司

  • 引用18条[sw12368]
  • 发展受到精益生产的启发人构成的画面或场景-基于校准器对于一阶逻辑leanTAP。ModLeanTAP。。。
  • 女警察

  • 在14篇文章中引用[sw21179]
  • 连接校准器. FEMaLeCoP是一种联系人构成的画面或场景定理校准器基于leanCoP,它使用高效。。。
  • 3塔普

  • 引用13篇文章[sw21544]
  • 人构成的画面或场景-基定理校准器3多值逻辑的TAP。。。
  • 泽农

  • 引用23条[sw06753]
  • 人构成的画面或场景方法。泽农打算成为校准器焦点环境。。。
  • 林塔普

  • 参考6篇文章[sw11991]
  • linTAP是一个人构成的画面或场景 校准器对于Girrards线性逻辑的乘法和指数片段。。。通过构造一个人构成的画面或场景并通过前缀统一来保证线性有效性。。。目的或应用。linTAP的特征:定理校准器对于乘法,指数碎片。。。线性逻辑。基于前缀语义人构成的画面或场景微积分。健全和完整。源代码可用。。。
  • 男警察

  • 引用23条[sw07197]
  • 连接人构成的画面或场景基于精益CoP定理的微积分及其实现校准器,链接。。。
  • 英克雷斯特

  • 引用5篇文章[sw23448]
  • 对SAT的增量减少。Inkrast是校准器对于模态逻辑。。。整合模态已知的阻塞机制人构成的画面或场景 校准器. 阻塞,反过来,进一步提高性能。。。
  • TTM公司

  • 在10篇文章中引用[sw11997]
  • 人构成的画面或场景-基定理校准器对于时序逻辑PLTL。TTM是一个定理校准器... 以一次传球为基础人构成的画面或场景方法调用基于上下文的人构成的画面或场景方法。。。
  • 精益警察

  • 在26篇文章中引用[sw09756]
  • 紧定理校准器基于一阶逻辑的经典连接(人构成的画面或场景)微积分。。。将“Prolog技术”集成到一个精益定理中校准器. ileanCoP是一个紧定理校准器...
  • TWB公司

  • 引用4篇文章[sw17666号]
  • 人构成的画面或场景Workbench(TWB)是构建自动定理的通用框架校准器对于任意命题。。。建筑,一些额外的机器需要指定人构成的画面或场景-基于校准器一种抽象的语言来表达。。。语言允许用户“剪切和粘贴”人构成的画面或场景从教科书上的规则和规定。。。产生一个特殊定理的证明引擎校准器为了这个逻辑。TWB提供各种。。。
  • lotrec方案

  • 引用3篇文章[sw10967]
  • LotrecScheme。我们建议人构成的画面或场景 校准器扩展Lotrec,称为LotrecScheme:该工具支持。。。
  • 希律王

  • 引用3篇文章[sw09445]
  • 希律和彼拉多:两个人构成的画面或场景 校准器基本混合逻辑。这部作品呈现了两个校准器... 目的是比较内化的人构成的画面或场景分别由伯兰德独立提出的微积分。。。
  • 彼拉多

  • 引用3篇文章[sw09446]
  • 希律和彼拉多:两个人构成的画面或场景 校准器基本混合逻辑。这部作品呈现了两个校准器... 目的是比较内化的人构成的画面或场景分别由伯兰德独立提出的微积分。。。
  • 矿坑

  • 引用3篇文章[sw11386]
  • 人构成的画面或场景 校准器皮普。在本文中,我们将讨论新版本。。。
  • 迷你表

  • 引用2篇文章[sw26324]
  • 人构成的画面或场景 校准器域最小化。领域最小化是一种非单调推理的形式,粗略地说。。。Hintikka提出了人构成的画面或场景带有修改的$delta$-规则的微积分。。。方法在人构成的画面或场景定理校准器叫做MiniTab。MiniTab适用于订单排序。。。
  • 沙塔拉

  • 引用52篇文章[SW069号文件]
  • Satallax是一个自动定理校准器对于高阶逻辑。高等教育的特殊形式。。。与完整规则相对应的子句人构成的画面或场景微积分和定期调用miniat来测试。。。