zbMATH中的参考文献(参考文献17条)

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

  1. Libal,托默;米勒,戴尔:功能作为建造者高阶统一(2016)
  2. 本斯米勒,克里斯托夫;苏尔塔纳,尼克;保尔森,劳伦斯·C。;Theiß,Frank:高阶验证程序\textscLeo II(2015)
  3. 威斯尼夫斯基,麦克斯;斯蒂芬,亚历山大;Benzmüller,Christoph:\ textsLeopard——实现高阶推理机的通用平台(2015)
  4. Benzmüller,Christoph:古典高阶逻辑中古典与非经典逻辑的结合与自动化(2011)
  5. 萨特克利夫,杰夫;本斯米勒,克里斯托夫;布朗,查德·E。;泰斯,弗兰克:高阶逻辑自动定理证明的进展(2009)
  6. 本斯米勒,克里斯托夫;高粱、沃尔克;杰姆尼克,马特亚;Kerber,Manfred:自动协作的组合推理(2008)
  7. 安德鲁斯,彼得B。;Brown,Chad E.:TPS:用于开发校对的混合自动交互系统(2006)
  8. 西格曼,Jörg;本斯米勒,克里斯托夫;\MEGA(奥美嘉)计算机支持(2006)
  9. 本兹穆勒,克里斯托夫E。;Brown,Chad E:一组高阶问题的结构化集合(2005)
  10. 克伯,曼弗雷德:从MKRP到(\Omega)mega(2005)
  11. 西格曼,Jörg;Benzmüller,Christoph:(\Omega)MEGA:计算机支持的数学(2004)
  12. Benzmüller,Christoph:基于分辨率的高阶定理证明方法比较(2002)
  13. 西克曼,J。;本兹米勒,C。;费德勒,A。;梅尔,A。;Pollet,M.:用(\Omega)MEGA:(\sqrt2)证明开发是不合理的(2002)
  14. 本斯米勒,克里斯托夫;杰姆尼克,马特亚;克伯,曼弗雷德;Sorge,Volker:面向智能体推理系统的实验(2001)
  15. 梅尔,安德烈亚斯:系统描述:流浪汉。机器发现证明到断言级自然演绎证明的转换(2000)
  16. Benzmüller,Christoph:扩展高阶协调与RUE分解(1999)
  17. 本斯米勒,克里斯托夫;Kohlhase,Michael:扩展高阶分辨率(1998)