×

斯帕斯

swMATH标识: 4108
软件作者: 魏登巴赫,布拉姆,希伦布兰德
说明: SPASS是一阶等式逻辑的自动定理证明器。因此,在我们的语法中,prover的输入是一阶公式。在这样的公式上运行SPASS将得到最终输出SPASS beiseite:Proof found。如果公式有效,则SPASS beiseite:Completion found。如果公式无效,并且由于一阶逻辑的有效性是不可判定的,SPASS可能永远运行而不会产生任何最终结果。
主页: http://www.spass-prover.org/
相关软件: 吸血鬼;TPTP;定理证明器;伊莎贝尔/霍尔;水獭;z3型;大锤;尾端;肉豆蔻4;伊莎贝尔;iProver公司;濑户;可口可乐;香车叶草;弗洛特;CVC4;荷兰语;MPTP 0.2;利奥二世;萨奇摩
参考文献: 182种出版物
其他出版物: http://www.spass-prover.org/publications.html
全部的 前5名

240位作者引用

18 维登巴赫,克里斯托夫
12 Hustadt,Ullrich
12 施密特,雷诺A。
10 城市,约瑟夫
9 本斯穆勒,克里斯托夫·埃瓦尔德
9 萨特克利夫,杰夫
8 梅尔,安德烈亚斯
7 鲍姆加特纳,彼得
7 布兰切特,贾斯敏·克里斯蒂安
7 德尼维尔,汉斯
7 索尔格,沃尔克
7 沃德曼,乌韦
6 沃龙科夫,安德烈
5 博纳奇娜,玛丽亚·保拉
5 狄克逊,克莱尔
5 希伦布兰德,托马斯
4 科尔顿,西蒙
4 卡利斯齐克,塞扎里
4 麦卡斯兰,罗伊L。
4 保尔森,劳伦斯·查尔斯
4 准备好了,大卫艾伦
4 舒尔茨,斯蒂芬
4 希克曼,Jörg H。
4 张兰
阿瑞斯,卡洛斯
Böhme,萨沙
克莱森,科恩
克鲁恩斯,西蒙
菲茨克,阿诺
弗勒里,马蒂亚斯
朱西格里亚,恩里科
科娃,劳拉·伊尔迪科
莱莱斯基,亚历山大五世。
帕斯凯维奇,安德烈
珀尔蒂埃,尼古拉斯
塔切拉,阿曼多
泰斯,弗兰克
蒂内利,塞萨尔
维奇宁,康斯坦丁
2 本特坎普,亚历山大
2 布朗伯格,马丁
2 布朗,查德·爱德华
2 布雷尔,纪尧姆
2 乔达里,迪帕克L。
2 达马尼,奥姆P。
2 戴维斯,欧内斯特
2 马尔滕,德里克
2 伊希尼姆,姆纳乔
2 费舍尔,伯恩德
2 福斯,德克
2 戈林,丹尼尔
2 古伯尔特·拉雷克,珍
2 霍夫纳,彼得
2 卡普尔,迪帕克
2 科罗文,康斯坦丁
2 克鲁格洛夫,叶夫根尼·瓦伦蒂诺维奇
2 莉莉斯特伦,安
2 路德维希,米歇尔
2 梅利斯,艾丽卡
2 莫瑟,乔治
2 纳隆,克劳迪亚
2 尼普科,托比亚斯
2 罗根巴赫,马库斯
2 施利希特克鲁尔,安德斯
2 舒曼博士。
2 索夫罗尼·斯托克曼,维奥里卡
2 钢铁,格雷厄姆
2 斯托亚诺维奇,萨那
2 苏达,马丁
2 蒂什科夫斯基,德米特里
2 托皮奇,达利博尔
2 德康川
2 范德托瑞,利安德特W.N。
2 沃兹根洛格古,布鲁诺
1 阿夫肖德尔,比扬
1 阿拉玛,杰西
1 阿曼多,亚历山德罗
1 Autexier,谢尔盖
1 阿兹米,诺兰
1 班切雷克,格雷戈尔茨
1 巴博萨,哈尼尔
1 巴雷特,克拉克W。
1 本萨勒姆,萨德克
1 伯格默尔,鲁道夫
1 布洛姆,安杰
1 博斯,约翰
1 布拉姆,乌韦
1 布里奇,詹姆斯P。
1 布赫伯格,布鲁诺
1 邦迪,艾伦
1 塞尔纳,大卫M。
1 玛尔塔,玛尔塔
1 阿德里安,Crǎciun
1 达恩,伯恩德因戈
1 迪利马,蒂亚戈
1 丹尼,埃文
1 迪亚科内斯库,Răzvan
1 迪特里希,多米尼克
1 德拉戈斯特,伊琳娜
1 杜阿尔特,安德烈
…还有140多个作者

按年份引用出版物