• 佐藤

  • 195篇参考文献[ SW044 551 ]
  • 可满足性(SAT)问题命题的 逻辑. 在过去的十年中,我们开发了一个非常有效的…
  • 格林戈

  • 94篇参考文献[SW04630]
  • 用户提供的程序等价命题的 逻辑程序这类节目的答案集…
  • KL-酮

  • 40篇参考文献[SW28 891]
  • 密切相关命题的情态动词逻辑学逻辑学程序(如命题的动态逻辑
  • 海斯德尔

  • 37篇参考文献[ SW05200 ]
  • 系统,自动机,如果是命题的 逻辑规则一旦混合系统建模…
  • 模特儿

  • 18篇参考文献[SW12368]
  • MODLANTAP:基于精益表的演绎命题的情态动词逻辑学. MODLANTAP是一个精益的Prolog实现…模块化标记表演算命题的情态动词逻辑学(标签包含免费的和通用的…
  • 夸伯斯

  • 24篇参考文献[ SW09580]
  • 夸伯斯:决定量化布尔逻辑使用命题的可满足解算器。我们描述了QUBOS(量化布尔求解器…逻辑. 该过程基于非规范化简化技术,将公式简化为命题的
  • ILTP

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

  • 14篇参考文献[SW04650]
  • 直觉定理证明器命题的 逻辑有两个主要特点:处理重复。
  • 伊莫金

  • 9篇参考文献[ SW11384]
  • 直观的极化反演方法命题的 逻辑. 在本文中,我们描述了伊莫金,一个定理…直觉论证者命题的 逻辑使用聚焦逆方法。我们代表细粒度的控制…方法针对七个其他系统命题的ILTP文库的片段。我们发现…
  • 勒图尔

  • 40篇参考文献[SW11689]
  • 表达式命题的微积分是这一领域的一个基本问题。逻辑编程事实上,基本解决技术命题的喇叭公式已被证明…几种谓词高效解释器的设计逻辑基于HONLAMP的语言…
  • Trp++

  • 15篇参考文献[SW1467 9]
  • 定理证明器命题的线性时间逻辑基于时间分辨率演算…从句拆分法命题的世俗的逻辑创建实验环境尝试不同的修改…
  • 桌面

  • 17篇参考文献[SW11674]
  • 通用定理证明系统命题的情态动词逻辑学被称为桌面。主要特点…
  • F立方

  • 7篇参考文献[ SW11383]
  • fCube:直觉主义的有效证明者命题的 逻辑. 我们提出fCube,一个定理证明器…直觉主义的命题的 逻辑基于一个表格演算。F立方体的主要新奇之处在于…
  • 马蒂斯特

  • 10篇参考文献[SW11873]
  • 说,定义了连接词的列表。符合逻辑的矩阵,具有一组指定值…经典中的真值表命题的 逻辑. 事实上,这是一个特殊的情况…
  • LPL软件

  • 17篇参考文献[SW0860]
  • 语言、证明和逻辑涵盖主题,如布尔连接词,形式证明技术,量词…稳健性与完备性命题的谓语逻辑以及一个容易接近的草图…
  • 莱坦普

  • 37篇参考文献[ SW099 85 ]
  • 情态动词逻辑学T、K4和S4。这篇论文仅限于命题的案例扩展到量化模态的情形逻辑学只要巴肯公式…
  • 达尔文

  • 24篇参考文献[SW04175]
  • 一阶子句的自动定理证明器逻辑. 它接受TPTP中制定的问题…更好地解决这些问题命题的方法。达尔文是第一个实现…进化演算提升了命题的一阶DPLL过程逻辑. 其中一个主要…一阶(二进制)命题的分裂推理规则…
  • BV2EPR

  • 7篇参考文献[SW07142]
  • 从QFYBV转换为有效命题的 逻辑(EPR)。这使我们能够解决…
  • 证明者

  • 47篇参考文献[SW09707]
  • 一阶完全微积分逻辑. 论证者的显著特征之一…实例化与模块化的结合命题的推理。特别是,任何州…