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

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

  1. Petrukhin,Yaroslav;Shangin,Vasilyi:通过对应分析自动寻找强Kleene逻辑及其二进制扩展(2019)
  2. Letz,Reinhold;Stenz,Gernot:《断开表演算》(2007)
  3. Ahrendt,Wolfgang;Beckert,Bernhard;Hähnle,Reiner;Menzel,Wolfram;Reif,Wolfgang;Schellhorn,Gerhard;Schmitt,Peter H.:集成自动化和交互式定理证明(1998)
  4. Reif,Wolfgang;Schellhorn,Gerhard:大理论中的定理证明(1998)
  5. Beckert,Bernhard;Goré,Rajeev:命题模态逻辑的自由变量表(1997)
  6. Hähnle,Reiner;Pape,Christian:有序表格:扩展和应用(1997)
  7. Baumgartner,彼得;Furbach,Ulrich;Niemelä,Ilkka:超级表格(1996)
  8. Beckert,Bernhard;Hähnle,Reiner;Oel,Peter;Sulzmann,Martin:基于表格的定理证明程序(_3\mkern-4mu T^\mkern-5mu A\mkern-5mu P)版本4.0(1996)
  9. Beckert,Bernhard;Pape,Christian:语义表的增量理论推理方法(1996)
  10. 德格亚列夫,安纳托利;沃龙科夫,安德烈:你一直想知道的关于刚性(E)-统一(1996)
  11. Beckert,Bernhard:一种基于完成的普适与刚性(E)-统一的方法(1994)
  12. Beckert,Bernhard;Posegga,Joachim:(\mathsfleanT^AP):基于精益表格的定理证明(1994)
  13. Beckert,Bernhard;Hähnle,Reiner;Schmitt,Peter H.:自由变量语义表中更自由的(\delta)规则(1993)