软件搜索-zbMATH Open

MSPASS公司

swMATH ID:	17667
软件作者：	Ullrich Hustadt，Renate A.Schmidt
描述：	MSPASS：通过翻译和一阶分辨率进行模态推理。mspass是一阶定理证明器spas的扩展，可以用作模态逻辑定理证明器、描述逻辑定理证明程序和关系演算定理证明程序。
主页：	http://link.springer.com/chapter/10.1007/10722086_7
相关软件：	TPTP公司；VAMPIRE公司；E定理证明器；SPASS公司；质量管理长期计划；伊莎贝尔/HOL；KL-ONE公司；超小卫星；萨塔拉克；MleanCoP公司；霍尔；Nitpick公司；故障电流互感器++；LoTREC公司；伊朗CoP；精益CoP；开普勒98；FML至HOL；折扣；狮子座III
引用于：	23文件

5	雷娜特·施密特（Renate A.Schmidt）。
4	克里斯托夫·埃瓦尔德·本兹穆勒
三	乌尔里希·赫斯塔特
2	延斯·奥滕
2	弗洛里安·拉贝
2	托马斯·拉斯
2	亚历山大·斯蒂恩
1	彼得罗·阿巴特
1	娜塔莎·亚历奇纳
1	鲍姆加特纳
1	梅迪·达斯坦尼（Mehdi M.Dastani）。
1	蒂亚戈，德利马
1	克莱尔·狄克逊
1	罗伊·戴克霍夫
1	路易斯·法利尼亚斯·德尔·塞罗
1	恩里科·金西格里亚
1	瓦伦丁·F·戈兰科。
1	拉杰夫·普拉巴卡尔·戈尔
1	安德烈亚斯·赫齐格
1	伊恩·霍洛克斯
1	迈克尔·科尔哈斯
1	康斯坦丁·科洛文
1	Jean-Marie拉格尼茨
1	丹尼尔·勒贝雷
1	布赖恩·洛根
1	约翰·朱尔斯·查尔斯
1	安吉洛·蒙塔纳里
1	瓦伦丁·蒙米拉
1	Cláudia Nalon
1	潘国强
1	彼得·施奈德（Peter F.Patel-Schneider）。
1	帕维尔·普德拉克
1	克劳迪奥·萨塞尔多蒂·科恩
1	皮埃特罗·萨拉
1	圭多·西亚维科
1	沈维娜
1	苏·埃兹吉·伊拉兹
1	杰夫·萨特克利夫
1	阿曼多·塔切拉
1	德米特里·察尔科夫
1	莫西·亚亚科夫·瓦尔迪