斯派克 swMATH ID: 10186 软件作者： Bouhoula，A.，Kounalis，E.，Rusinovitch，M。 描述： 自动定理证明器SPIKE 主页： http://link.springer.com/chapter/10.1007/BFb0013087 相关软件： RRL公司;Coq公司;NQTHM公司;收入;InKa公司;E定理证明器;标记器;蛤;牡蛎;AProVE公司;VeriFun公司;蒂罗尔（Tyrolean）;PVS公司;A3PAT飞机;西洋陆军棋;ACL2型;哈斯克尔;数学软件;雅加达;联合通讯社 引用于： 23文件 全部的 前5名28位作者引用 7 尼古拉斯·佩尔蒂埃 4 里卡多·卡费拉 三 吉尔根·吉斯尔 三 克洛德·基什内尔 三 赫莱内·基什内尔 三 托马斯·科尔贝。 三 斯特拉图拉特，索林 三 克里斯托夫·沃尔特 2 文森特·阿拉万提诺斯 2 本赛义德，希查姆 2 卡斯滕·福斯 2 阿卜杜勒卡德·科尔萨尼 2 法布里斯·纳洪 2 分手，迈克尔 2 彼得·施奈德·坎普 2 斯威德斯基，斯蒂芬 1 艺术，托马斯 1 吉尔·巴特 1 阿黛尔·布胡拉 1 保罗·布劳纳 1 埃里克·德普拉涅 1 穆纳乔·埃切宁 1 卡琳·费德勒 1 伯恩哈德·格拉姆利希 1 伊曼纽尔·库纳利斯 1 阮广辉 1 奥利维·蓬西尼 1 米歇尔·鲁西诺维奇 全部的 前5名引用于7个系列 三 自动推理杂志 2 符号计算杂志 2 人工智能研究杂志 1 人工智能 1 计算机程序设计科学 1 信息与计算 1 数学与人工智能年鉴 在2个字段中引用 22 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 按年份列出的引文