软件搜索-zbMATH开放

MSPASS公司

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

5	克里斯托夫·埃瓦尔德·本兹穆勒
5	Schmidt，Renate A。
三	乌尔里希·赫斯塔特
三	亚历山大·斯蒂恩
2	延斯·奥滕
2	弗洛里安·拉贝
2	Raths，托马斯
2	杰夫·萨特克利夫
1	彼得罗·阿巴特
1	Alechina，娜塔莎
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	莫西·亚亚科夫·瓦尔迪