狮子座 swMATH ID: 19607 软件作者: Benzmüller,C.,Kohlhase,M。 描述: Leo–一个高阶定理证明器。 主页: http://rd.springer.com/chapter/10.1007%2FBFb0054256?LI=true 相关软件: 第三方程序;第三方交易协议;伊莎贝尔/HOL;Satallax公司;VAMPIRE公司;Twelf公司;HOL公司;PVS公司;ETPS公司;拦污栅;欧米茄;E定理证明器;毫升;Coq公司;SPASS公司;LEO-II型;欧米茄-ANTS;数学网;Nuprl公司;特尤斯 引用于: 19文件 全部的 前5名20位作者引用 14 Benzmüller、Christoph Ewald 三 布朗,查德·爱德华 三 曼弗雷德·科伯 三 谢克曼,Jörg H。 2 马蒂亚·贾姆尼克 2 托梅尔·利巴尔 2 安德烈亚斯·梅耶 2 戴尔·艾伦·米勒 2 沃尔克·索尔格 2 亚历山大·斯蒂恩 2 泰斯,弗兰克 1 安德鲁斯,彼得·B·。 1 谢尔盖·奥特西尔 1 阿明·菲德勒 1 迈克尔·科尔哈斯 1 劳伦斯·查尔斯·保尔森 1 马丁·波莱特 1 尼克·苏尔塔纳 1 杰夫·萨特克利夫 1 马克斯·维斯涅夫斯基 4篇连载文章中引用 三 应用逻辑杂志 2 自动推理杂志 2 数学与人工智能年鉴 1 合成 在2个字段中引用 16 计算机科学(68至XX) 8 数理逻辑与基础(03-XX) 按年份列出的引文