蛋白质 swMATH ID: 21342 软件作者: Baumgartner,P.,Furbach,美国。 描述: 蛋白质,具有理论接口的探针。PROTEIN(带理论扩展接口的PROver)是基于PTTP的内置理论的一阶定理证明程序。除了已知的各种模型消除标准定义外,PROTEIN还为基于案例的推理提供了一种模型消除变体,它不需要反向。这项研究由DFG在“Schwerpunkt程序Deduktion”中赞助。 主页: https://link.springer.com/chapter/10.1007/3-540-58156-1_57 相关软件: 第三方交易协议;SETHEO公司;水獭;SPASS公司;布利克塞姆;香车叶草;Nuprl公司;VAMPIRE公司;蛤;拦污栅;数学网;MB基础;萨奇莫;PVS公司;第三方程序;PTTP公司;3TAP公司;E-SETHEO公司;马亚;霸王龙 引用于: 15文件 全部的 前5名21位作者引用 4 彼得·鲍姆加特纳 三 Benzmüller、Christoph Ewald 三 谢克曼,Jörg H。 2 伯恩德·菲舍尔 2 乌尔里希·富尔巴赫 2 Schumann,Johann M.博士。 2 弗里德·斯托尔森堡 1 谢尔盖·奥特西尔 1 斯特凡·布吕宁 1 安纳托利·伊万诺维奇·德吉亚列夫 1 托马斯·克莱曼 1 安德烈亚斯·梅耶 1 艾丽卡·梅利斯 1 沃尔夫冈·雷夫 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 格哈德·谢尔霍恩 1 亚历克斯·辛纳 1 格雷戈·斯内尔廷 1 沃尔克·索尔格 1 伯恩德·托马斯 1 安德烈·沃伦科夫 4篇连载文章中引用 三 人工智能 1 自动推理杂志 1 应用逻辑杂志 1 计算机科学课堂讲稿 在2个字段中引用 15 计算机科学(68至XX) 4 数理逻辑与基础(03-XX) 按年份列出的引文