SPASS公司 swMATH ID: 4108 软件作者: C Weidenbach、U Brahm、T Hillenbrand 描述: SPASS是一个用于一阶等式逻辑的自动定理证明器。因此,在我们的语法中,谚语的输入是一个一阶公式。在这样的公式上运行SPASS会导致最终输出SPASS beiseite:找到证据。如果公式有效,SPASS beiseite:已找到完成。如果公式无效,并且由于一阶逻辑中的有效性是不可判定的,则SPASS可能会一直运行,而不会产生任何最终结果。 主页: http://www.spas-prover.org/ 相关软件: VAMPIRE公司;TPTP公司;E定理证明器;水獭;伊莎贝尔/HOL;z3(零3);iProver(iProver);大锤;梅斯4;伊莎贝尔;米扎尔;CVC4型;香车叶草;SETHEO公司;Coq公司;校准仪9;地板;霍尔;萨塔拉克;布利克塞姆 引用于: 204文件 更多出版物: http://www.spas-prover.org/publications.html 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 SPASS 2.0版。 Zbl 1072.68596号克里斯托夫·韦登巴赫;乌韦·勃拉姆;托马斯·希伦布兰德;恩诺·基恩;克里斯蒂安·西奥博尔德;达利博尔·托皮奇 2002 全部的 前5名269位作者引用 22 克里斯托夫·韦登巴赫 14 乌尔里希·赫斯塔特 12 雷娜特·施密特(Renate A.Schmidt)。 11 杰夫·萨特克利夫 10 克里斯托夫·埃瓦尔德·本兹穆勒 10 约瑟夫·乌尔班 8 贾斯敏·克里斯蒂安·布兰切特 8 克莱尔·狄克逊 8 安德烈亚斯·梅耶 7 彼得·鲍姆加特纳 7 玛丽亚·保拉(Maria Paola Bonacina) 7 汉斯·德·尼维尔 7 沃尔克·索尔格 7 安德烈·沃伦科夫 7 乌韦·沃尔德曼 5 托马斯·希伦布兰德 5 科瓦奇,劳拉·伊尔迪科 5 斯蒂芬·舒尔茨 4 西蒙·科尔顿 4 Cezary卡利西克 4 罗伊·麦卡斯兰德。 4 Cláudia Nalon 4 劳伦斯·查尔斯·保尔森 4 尼古拉斯·佩尔蒂埃 4 大卫·艾伦(David Alan),Plaisted 4 谢克曼,Jörg H。 4 索菲·托雷特 4 张,兰 三 卡洛斯·阿雷塞斯 三 Böhme,萨沙 三 马丁·布隆伯格 三 科恩·克莱森 三 西蒙·克鲁恩斯 三 穆纳乔·埃切宁 三 阿诺德·菲埃茨克 三 马蒂亚斯·弗勒里 三 恩里科·金西格里亚 三 康斯坦丁·科洛文 三 亚历山大·利亚列茨基。 三 安德烈·帕斯科维奇 三 马丁·苏达 三 阿曼多·塔切拉 三 泰斯,弗兰克 三 塞萨尔·蒂内利 三 康斯坦丁·沃奇宁 2 亚历山大·本特坎普 2 乍得·布朗·爱德华 2 纪尧姆·伯勒 2 乔达里,Dipak L。 2 Om P.达马尼。 2 欧内斯特·戴维斯 2 马尔滕·德·里杰克 2 安德烈·杜阿尔特 2 加布里埃尔·埃布纳 2 伯恩德·菲舍尔 2 操,德克 2 乌尔里希·富巴赫 2 丹尼尔·戈林 2 让·古鲍特·拉雷克 2 彼得·霍夫纳 2 贾尼契奇,普雷德拉格 2 迪帕克·卡普尔 2 叶夫根·克鲁格洛夫(Evgeni Kruglov)ĭ瓦伦蒂诺维奇(Valentinovich) 2 安·利利斯特罗姆 2 路德维希·米歇尔 2 艾丽卡·梅利斯 2 乔治·莫瑟 2 朱利安·纳布克斯 2 托比亚斯·尼普科 2 法比奥·帕帕奇尼 2 佩尔泽,比约恩 2 贾尔斯·里格尔 2 马库斯·罗根巴赫 2 安德斯·施利奇特克鲁尔 2 Schumann,Johann M.博士。 2 维奥里卡Sofrone-Stokkerman 2 格雷厄姆·斯蒂尔 2 亚历山大·斯蒂恩 2 萨那斯托亚诺维奇 2 蒂什科夫斯基,德米特里 2 达利博尔·托皮奇 2 德坎·特兰 2 范德托雷,Leendert W.N。 1 阿夫肖德尔,比扬 1 杰西·阿拉玛 1 亚历山德罗·阿曼多 1 谢尔盖·奥特西尔 1 诺兰·阿兹米 1 格拉泽戈兹·班塞雷克 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 迈克尔·比森。 1 萨德克·本萨勒姆 1 鲁道夫·伯格哈默 1 安捷·布隆姆 1 约翰·博斯 1 乌韦·勃拉姆 1 詹姆斯·布里奇。 1 布赫伯格,布鲁诺 1 阿兰·邦迪 …还有169位作者 全部的 前5名25篇连载文章中引用 36 自动推理杂志 8 数学与人工智能年鉴 5 人工智能 5 符号计算杂志 4 ACM计算逻辑汇刊 三 应用逻辑杂志 2 人工智能通信 2 应用非经典逻辑杂志 2 计算机科学中的数学 1 卡罗莱纳大学数学评论 1 信息科学 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 计算的形式方面 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 人工智能研究杂志 1 IGPL逻辑杂志 1 计算机基础理论 1 计算语言学 1 计算机科学课堂讲稿 1 泛逻辑 1 形式化推理杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 188 计算机科学(68至XX) 93 数学逻辑和基础(03-XX) 三 群论与推广(20-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 交换代数(13-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文