• 集成电路

  • 20篇参考文献[SW21618]
  • 一个片段的决策过程第一-排序 逻辑. 术语是由未解释的函数构建的…
  • 浮选机

  • 16篇参考文献[SW29 685 ]
  • 子句范式转换第一-排序 逻辑定理证明器第一-排序
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 雅典娜是基于很多排序的第一-排序 逻辑. 许多排序的第一-排序 逻辑Maria Manzano的“延伸”第一-排序 逻辑“……争辩说……逻辑. 它保持了可追踪性。第一-排序 逻辑(完备性、紧凑性、术语结构归纳)
  • ILTP

  • 23篇参考文献[SWO4437 ]
  • 直觉主义的逻辑定理证明(ILTP)库为自动化定理的测试和基准提供了一个平台。证明(ATP)系统第一-排序命题直观逻辑. 它包括两个问题集合…第一-排序和命题直觉ATP系统和工具将问题转化为…关于当前可用的ATP系统的直观性逻辑它们的性能对问题产生了影响。
  • 模特儿

  • 18篇参考文献[SW12368]
  • 命题模态的模块化标记表演算逻辑学(标签包含免费的和通用的…基于精益表格的证明器第一-排序 逻辑莱坦普MODLANTAP版本2包括额外的搜索…
  • 回肠

  • 13篇参考文献[SW0977]
  • 直觉理论中基于连接的定理证明第一-排序 逻辑. 我们提出了一个从句连接演算…第一-排序直觉主义的逻辑. 它通过添加编码的前缀来扩展经典的连接演算…
  • 多原木

  • 17篇参考文献[SW06604]
  • 有限值的规范第一-排序 逻辑并产生一个连续的演算,一个自然的…
  • 临时雇员

  • 12篇参考文献[SW0989]
  • TEMP:一个暂时的单元格证明器。第一-排序世俗的逻辑FoTL,是经典的延伸第一-排序 逻辑离散算子的时间算子使用的时间模型)。公式逻辑解释与…关联的结构。代表时间的瞬间第一-排序结构(d n,i n)与…
  • CVC4

  • 94篇参考文献[SW0985]
  • 可满足性第一-排序大量内置公式符合逻辑的理论…
  • 流星

  • 16篇参考文献[SW26327 ]
  • 减少冗余搜索。然而,研究逻辑编程已导致复杂的架构给予高…完整的线性输入证明程序第一-排序 逻辑,类似于但不同于分辨率…
  • 帕西奥

  • 15篇参考文献[SW0981]
  • 完备或并行定理证明器第一-排序 逻辑提出。证明演算…
  • 霍尔布吉

  • 14篇参考文献[SW0409]
  • 注解丰富第一-排序 逻辑\ PARITS验证条件-通过WP演算构造…
  • 福斯

  • 14篇参考文献[ SW048 48 ]
  • ILP与数值回归的结合。第一-排序 逻辑描述被诱导雕刻…
  • E-DARVIN

  • 19篇参考文献[SW08052]
  • 自动定理证明器第一-排序子句逻辑平等的。它接受TPTP中的问题…
  • 辅料锤

  • 12篇参考文献[SW29 96]
  • 把问题翻译成逻辑学自动化系统和重建…实现“接近”语句第一-排序 逻辑标准库中的引理…
  • 因子分解

  • 12篇参考文献[ SW08947 ]
  • 声明性语言,如SQL或第一-排序 逻辑我们提倡使用命令式语言…
  • 阿戈

  • 10篇参考文献[SW07192]
  • 相干的逻辑是一个片段第一-排序 逻辑. 公式的结构…
  • 萨帕托

  • 11篇参考文献[SW25425]
  • 无量词自动定理证明器第一-排序 逻辑有助于确定可行性…
  • E-KrYPER

  • 11篇参考文献[SW21368 ]
  • 模型生成器和定理证明器第一-排序 逻辑平等的。它实现…
  • 浸透

  • 10篇参考文献[SW2135]
  • 实验定理证明器第一-排序 逻辑,主要是基于饱和度…