• 斯巴达克斯

  • 14篇参考文献[SW12426]
  • 斯巴达克斯:A人构成的画面或场景 证明者用于混合逻辑。斯巴达克斯是一个人构成的画面或场景 证明者对于混合型多模态…
  • 梅特尔

  • 13篇参考文献[SW11990 ]
  • 梅特尔:A人构成的画面或场景 证明者具有逻辑无关推理机。Meta是通用的人构成的画面或场景 证明者MTETEL的组成部分是逻辑独立的。人构成的画面或场景推理引擎。一个新的特点是…
  • 萨奇莫

  • 96篇参考文献[SW0619]
  • 证明者由一个小Prolog程序给出,它实现了一个人构成的画面或场景证明程序…
  • 竖琴

  • 15篇参考文献[SW26323 ]
  • 竖琴:A人构成的画面或场景定理证明者. 本文介绍了HARP,一个完整的,人构成的画面或场景基于定理…
  • 模特儿

  • 18篇参考文献[SW12368]
  • 发展得益于精益生产人构成的画面或场景基于证明者对于一阶逻辑LeANTAP。ModLeanTAP…
  • 女职工

  • 11篇参考文献[SW21179]
  • 联系证明者. FieleCopp是一种连接人构成的画面或场景定理证明者基于LeNoCoP的使用有效的…
  • 3TAP

  • 13篇参考文献[SW21544 ]
  • 人构成的画面或场景定理证明者3用于多值逻辑的TAP…
  • 林塔普

  • 6篇参考文献[SW11991 ]
  • 林塔普是人构成的画面或场景 证明者对于Gield-线性逻辑的乘法和指数片段…通过构造解析公式给出公式人构成的画面或场景并保证前缀统一的线性有效性。目的或用途。林塔普的特征:定理证明者对于乘法,指数碎片…线性逻辑基于前缀语义人构成的画面或场景微积分。声音完整。源代码可用…
  • 泽农

  • 21篇参考文献[SW0653]
  • 人构成的画面或场景方法Zeon打算成为专用的证明者聚焦环境…
  • 墨水瓶

  • 5篇参考文献[SW23 48]
  • SAT. InKreSAT的增量约简是证明者对于模态逻辑…从模态已知的集成闭锁机制人构成的画面或场景 进步者. 阻塞,进而进一步提高性能…
  • 马吕科普

  • 20篇参考文献[SW07197]
  • 联系人构成的画面或场景微积分及其在精益COP定理上的实现证明者链接…
  • TTM

  • 9篇参考文献[SW11997 ]
  • 人构成的画面或场景定理证明者时态逻辑PLTL。TTM是一个定理证明者基于一次传球人构成的画面或场景基于上下文的PLTL方法人构成的画面或场景方法
  • 行波管

  • 4篇参考文献[SW17666 ]
  • 人构成的画面或场景Workbench(TWB)是构建自动定理的通用框架。进步者对于任意命题…架构,一些额外的机器来指定人构成的画面或场景基于进步者和抽象语言来表达…语言允许用户“剪切粘贴”人构成的画面或场景教科书中的规则和规定…证明引擎生成一个特殊定理证明者为了这个逻辑。TWB提供各种…
  • 兰科普

  • 21篇参考文献[SW0976]
  • 紧致定理证明者对于经典的一阶逻辑,基于连接(人构成的画面或场景微积分…将Prolog技术集成为一个精益定理证明者. 回旋定理是一个简洁的定理证明者
  • 乐透方案

  • 3篇参考文献[SW10967 ]
  • LotrecScheme。我们提出了一个通用的人构成的画面或场景 证明者扩展Lotrec,称为LutRebug:该工具使…
  • 希律

  • 3篇参考文献[SW09445 ]
  • 希律和彼拉多:两个人构成的画面或场景 进步者对于基本混合逻辑。这项工作介绍了两个进步者目的是比较内化人构成的画面或场景独立提出的结石分别由Bolander…
  • 普拉提

  • 3篇参考文献[SW0946]
  • 希律和彼拉多:两个人构成的画面或场景 进步者对于基本混合逻辑。这项工作介绍了两个进步者目的是比较内化人构成的画面或场景独立提出的结石分别由Bolander…
  • 皮普

  • 3篇参考文献[SW11386]
  • 改进人构成的画面或场景 证明者皮特在本文中,我们讨论的新版本…
  • 微型计算机

  • 2篇参考文献[SW26324]
  • 人构成的画面或场景 证明者域最小化。域最小化是一种非单调推理的形式,粗略地说…欣蒂卡提出了一个变体人构成的画面或场景微积分与修改的$delta $ -规则…方法在一个人构成的画面或场景定理证明者叫做MiTIAB。MimITAB作品排序排序…
  • CTL RP

  • 4篇参考文献[SW25264]
  • 定理中微积分的实现证明者微积分RCTL>,S要求…CTL—RP与A的比较人构成的画面或场景定理证明者