• 红木

  • 156篇参考文献[SW04250]
  • 操纵第一-排序一些临时固定语言的公式理论. 相反。。。
  • 布尔人

  • 27篇参考文献[ SW000 085 ]
  • 向量和数组。可满足模理论(SMT)是决定可满足性的问题。公式,表示为第一-排序 理论. 我们提出的架构和选择…
  • TPS

  • 71篇参考文献[SW0933]
  • 自动定理证明器第一-排序逻辑与类型理论. 后者…
  • CVC4

  • 95篇参考文献[SW0985]
  • 可满足性模的源自动定理证明器理论(SMT)问题。它可以用来…第一-排序大量内置逻辑中的公式理论和他们的结合…
  • 病灶

  • 58篇参考文献[SW12868 ]
  • 无量词第一-排序公式。它支持某些解释理论,比如平等,未解释的功能…
  • 水獭

  • 310篇参考文献[SW02904]
  • 设计证明定理第一-排序逻辑相等。水獭的推理规则…包括术语改写的术语,术语排序,Knuth Bendix完成,加权,和指导策略…布尔代数,逻辑演算,组合逻辑,群理论点阵理论和代数几何。注:水獭/MaCe2…
  • F2LP

  • 10篇参考文献[SW09898]
  • 某些条件,系统F2LP变成A第一-排序 理论稳定模型下的语义转化为…
  • LPTP

  • 7篇参考文献[SW01822]
  • 纯Prolog程序。这是一个第一-排序 理论包含归纳原理对应的…
  • 30篇参考文献[SW24694]
  • 第一-排序在关系集合中使用信息构建的学习系统理论
  • 辅酶QMT

  • 5篇参考文献[SW19139]
  • 理论. COQ模理论(COQMT)是COQ证明辅助的一个推广。用户定义的有效性蕴涵第一-排序均等的理论. 这种机制充分丰富了…检查算法与集成第一-排序决策程序。我们在这里介绍COQMT…
  • 辅酶QMTU

  • 2篇参考文献[SW19138]
  • 可判定参数化的宇宙第一-排序 理论. E研究复杂类型理论宇宙的谓词层次与A第一-排序 理论T建立了它的转换关系…理论T是抽象的,由一组构造函数,一组定义的符号…依赖于关键特性的原理第一-排序满足公理的结构。我们第一商展
  • TSAT++

  • 3篇参考文献[SW21350]
  • 基于懒散SAT的可满足性模方法理论(SMT)。SMT是确定……的问题。文字,其中t是第一-排序 理论对于一个可满足性过程…
  • 挑剔

  • 54篇参考文献[SW0622]
  • 基于KODKOD,基于SAT的构建第一-排序关系模型查找器NITPICK支持无界量化…卡片系统。关于伊莎贝尔的实验结果理论TPTP库表明NITSCORE…
  • 斯帕斯峡湾

  • 2篇参考文献[ SW16027 ]
  • 只有关于A的所有模型第一-排序 理论,而且关于所有模型…喇叭理论这两个问题都是第二个问题。排序问题在本文中,我描述…工具SPAS-FD,扩展的第一-排序证明者Spass装备…
  • 国歌

  • 2篇参考文献[SW30423 ]
  • 颂歌:把GRIGO程序改造成第一-排序 理论(初步报告)。在最近的一篇论文中…
  • 时代

  • 2篇参考文献[SW32 84]
  • 自动生成模型排序-排序第一-排序 理论. 该工具使用线性代数技术…
  • 堡垒

  • 1篇参考文献[ SW28 637 ]
  • 实现的工具第一-排序 理论改写左边的可判定类…满足任意可表达的属性第一-排序 理论改写的在本文中…
  • MCMT

  • 18篇参考文献[SW11911]
  • 状态变量是数组的状态系统。理论指定索引的属性…通过量化描述系统第一-排序公式。系统的核心…解决Satisfiability Modulo问题理论(SMT)问题。除了标准的SMT技术,高效的启发式算法…
  • 阿凡达

  • 13篇参考文献[ SW28 636]
  • 第一-排序解决方案和叠加定理的倡导者称为化身(高级吸血鬼架构)理论