蛋白质

蛋白质,一个理论界面的证明者。PROTEIN是一种基于PTTP的一阶定理证明器。除了各种已知的模型消除的标准细化外,PROTEIN还为基于实例的推理提供了一种模型消除的变体,它不需要反正反。本研究由DFG在“Schwerpunktprogramm Deduktion”中赞助。


zbMATH参考文献(15篇文章引用)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. 西格曼,Jörg;Benzmüller,Christoph;Autexier,Serge:计算机支持的数学与(\Omega)MEGA(2006)
  2. 数学知识和博林格定理证明(2005年)
  3. 罪人,亚历克斯;克莱曼,托马斯:克莉帕——在你的口袋里。系统描述(2005)
  4. (\MEGAüller,2004;计算机支持:MEGAükman;J.)
  5. Melis,E.;Siekmann,J.:基于知识的证明计划(1999)
  6. Baumgartner,Peter:联系计算的理论推理(1998)
  7. 费舍尔,伯恩德;舒曼,约翰;斯内尔,格雷戈:基于演绎的软件构件检索(1998)
  8. Reif,Wolfgang;Schellhorn,Gerhard:大理论中的定理证明(1998)
  9. Schaub,Torsten;Brüning,Stefan:默认推理的Prolog技术:证明理论和编译技术(1998)
  10. Stolzenburg,Frieder;Thomas,Bernd:用带约束的定理证明者分析计算银行手续费的规则集(1998)
  11. 弗里德·斯托姆格尔(Peter Stozenberg,1997年)与《计算模型》合著(弗里德·斯托姆格、尤尔巴赫模型)
  12. Fischer,Bernd;Schumann,Johann M.Ph.:SETHEO goes软件工程:ATP在软件重用中的应用(1997)
  13. Baumgartner,Peter:Horn理论的线性和单位结果反驳(1996)
  14. 德格亚列夫,安纳托利;沃龙科夫,安德烈:你一直想知道的关于刚性(E)-统一(1996)
  15. Baumgartner,Peter;Furbach,Ulrich:无反作用的模型消除(1994)