二氯四环素

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


ZBMaX中的参考文献(21篇)2篇标准文章

显示结果1至20的21。
按年份排序(引文
  1. Boaina,Maria Paola;Plaisted,David A.:语义指导的目标敏感推理:推理系统和完备性(2017)
  2. Boaina,Maria Paola;Plaisted,David A.:语义指导的目标敏感推理:模型表示(2016)
  3. PLASTED,David A.:一阶自动演绎的历史与展望(2015)
  4. David A.,Miller,斯瓦哈:语义和统一的相对力量(2013)
  5. 纳瓦罗,胡安·安东尼奥;Voronkov,安德列:有效命题逻辑的证明系统(2008)
  6. Lez,莱因霍尔德;Stnz,Gernot:断开TabLaU演算(2007)
  7. 胡斯塔特,乌尔里克;Tishkovsky,德米特里;沃尔特,弗兰克;Zakharyaschev,米迦勒:度量和拓扑的自动推理(2006)
  8. BoaCina,Maria Paola:定理证明中搜索的统一模型:子目标约简策略(2005)
  9. Miller,Swaha;Plaisted,David A.:OSHL的空间效率(2005)
  10. Stenz,Gernot:表格框架中的单位传播(2005)
  11. David A.、Yahya、Adnan:自动演绎的关联限制策略(2003)
  12. 施密特,Renate A.;HuSTADT,乌尔里克:将公理纳入模态公式一阶转换的原理。(2003)
  13. Lez,莱因霍尔德;Stnz,Gernot:等式推理与断开演算的集成(2002)
  14. 舒尔茨,Stephan;Sutcliffe,杰夫:系统描述:GANDE 1(2002)
  15. Stenz,Gernot:DCTP 1。2——系统摘要(2002)
  16. Sutcliffe,G;萨特纳,C. B.;佩尔蒂埃,F.J: IJCAP ATP系统竞赛(2002)
  17. Yahya,Adnan H.:析取演绎数据库中目标驱动查询处理的对偶性(2002)
  18. Yahya,Adnan;Plaisted,David A.:有序语义超表(2002)
  19. Gor,Rajeev(ED);LeiSch,亚力山大(ED);NIPKOW,托拜厄斯(ED):自动推理。第一国际联合会议,IJCAR 2001,锡耶纳,意大利,六月18-22日,2001。诉讼(2001)
  20. Lez,莱因霍尔德;Stnz,Gernot:断开表的证明和模型生成(2001)