DCTP公司

一个断开的微积分定理证明器。DCTP是一阶子句逻辑的自动定理证明器。给定一个包含TPTP语法中的问题规范的输入文件,DCTP将试图证明输入公式的不可满足性,或者,证明输入公式是可满足的。


zbMATH中的参考文献(参考 21篇文章 引用,2标准条款)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. Bonacina,Maria Paola;Plaisted,David A.:语义引导目标敏感推理:推理系统和完备性(2017)
  2. Bonacina,Maria Paola;Plaisted,David A.:语义引导的目标敏感推理:模型表示(2016)
  3. Plaisted,David A.:一阶自动扣除的历史与前景(2015)
  4. Plaisted,David A.;Miller,Swaha:语义和统一的相对力量(2013)
  5. 纳瓦罗,胡安·安东尼奥;沃龙科夫,安德烈:有效命题逻辑的证明系统(2008)
  6. 《断线术》,2007年版;雷因茨《微积分》
  7. Hustadt,Ullrich;Tishkovsky,Dmitry;Wolter,Frank;Zakharyaschev,Michael:关于度量和拓扑的自动推理(2006)
  8. Bonacina,Maria Paola:走向定理证明中搜索的统一模型:子目标约简策略(2005)
  9. Miller,Swaha;Plaisted,David A.:OSHL的空间效率(2005)
  10. Stenz,Gernot:tableau框架中的单元传播(2005)
  11. Plaisted,David A.;Yahya,Adnan:自动推断的关联限制策略(2003)
  12. 施密特,雷诺A.;Hustadt,Ullrich:将公理纳入模态公式的一阶翻译中的原则。(2003年)
  13. Letz,Reinhold;Stenz,Gernot:将等式推理整合到断开演算中(2002)
  14. Schulz,Stephan;Sutcliffe,Geoff:系统描述:Grande1.0(2002)
  15. 斯坦茨,格诺:DCTP 1。摘要(2-2002)
  16. ATP系统;tc,sutijer,2002年
  17. 2002年雅楠二元性推理数据库(yanan)
  18. Yahya,Adnan;Plaisted,David A.:有序语义超表(2002)
  19. 自动推理(拉吉亚斯,拉吉亚斯);拉吉亚斯(拉吉亚斯)。2001年6月18日至22日在意大利锡耶纳举行的第1届国际联席会议。诉讼(2001年)
  20. Letz,Reinhold;Stenz,Gernot:disconnection tableaux的证明和模型生成(2001)