编辑配置文件（在新选项卡中打开） Stickel，Mark E。（b.1947 d.2013） 合著者距离 作者ID： 贴纸.mark-e 发布日期： Stickel，Mark E。;标签，马克;Stickel，M。 更多。。。较少的 外部链接： 维基数据·数据库许可证·全球导航卫星系统·ID参考 已编制索引的文档： 22出版物自1976年起 3作为编辑的贡献·1进一步贡献 传记参考： 2出版物 合著者： 22合著者具有14联合出版物 378位合作作者 全部的 前5名合著者 11 单作者的 三 张汉涛 2 卡拉·戈麦斯。 2 亨利·考茨。 2 阮永绍 2 巴特·塞尔曼 2 Tomás E.乌里韦。 1 阿奇利奥普塔斯，迪米特里斯 1 沃尔夫冈·比贝尔 1 艾伦·W·比尔曼。 1 尼古拉·S·比约纳。 1 玛丽亚·保拉（Maria Paola Bonacina） 1 炸鸡，马克斯 1 詹姆斯·德尔格兰德。 1 埃里克·霍维茨。 1 杰拉德·P·休特。 1 菲利普·乔兰德 1 Jourand博士。 1 丹尼尔·莱姆克 1 唐纳德·洛夫兰。 1 卢斯克，尤因·L。 1 佐哈尔·曼纳 1 威廉·麦库恩。 1 约翰·米洛波洛斯 1 罗斯·A·奥弗贝克。 1 杰拉尔德·彼得森。 1 约翰·斯莱尼。 1 理查德·沃丁格。 1 K·威尔克。 1 劳伦斯·A·沃斯。 全部的 前5名系列 6 自动推理杂志 三 计算机科学课堂讲稿 2 计算机协会杂志 1 计算机与数学及其应用 1 电气电子工程师学会计算机期刊 1 理论计算机科学 1 数学与人工智能年鉴 1 物理课堂讲稿 全部的 前5名领域 24 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 三 群论与推广（20-XX） 2 组合数学（05-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 天文学和天体物理学（85-XX） 1 运筹学、数学编程（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用469中的次384文件 引用人▼ 年份▼ 一些等式理论的全套约简。 Zbl 0479.68092号 杰拉尔德·彼得森。;Stickel，Mark E。 133 1981 结合交换函数的一种统一算法。 Zbl 0462.68075号 Stickel，Mark E。 73 1981 Prolog技术定理证明器：由扩展Prolog编译器实现。 Zbl 0662.68104号 Stickel，Mark E。 52 1988 通过理论解析自动推断。 Zbl 0616.68076号 Stickel，Mark E。 49 1985 Prolog技术定理证明器：Prolog中的一个新的阐述和实现。 Zbl 0771.68096号 Stickel，Mark E。 22 1992 实施Davis-Putnam方法。 Zbl 0967.68148号 张汉涛;贴纸，标记 18 2000 一阶逻辑中的集合论：哥德尔公理的子句。 Zbl 0635.03008号 罗伯特·博伊尔;卢斯克，尤因;威廉·麦库恩;罗斯·奥弗贝克;贴纸，马克·E。;沃斯，劳伦斯 18 1986 舒伯特的蒸汽压路机问题：公式和解决方案。 Zbl 0642.68164号 Stickel，Mark E。 15 1986 自动推理和穷举搜索：类群存在问题。 Zbl 0827.20083 斯莱尼，J。;M.藤田。;Stickel，Mark E。 13 1995 自然语言解释中计算最小成本诱因解释的类Prolog推理系统。 Zbl 1004.68552号 Stickel，Mark E。 13 1991 Knuth-Bendix方法定理证明的一个案例研究：发现（x^3=x\）意味着环可换性。 Zbl 0546.68078号 Stickel，Mark E。 11 1984 结构化可满足问题中的平衡和过滤。（初步报告）。 Zbl 0985.90509号 亨利·考茨;阮永绍;阿奇利奥普塔斯，迪米特里斯;卡拉·戈麦斯;巴特·塞尔曼;标签，马克 11 2001 有序二元决策图和Davis-Putnam过程。 Zbl 1495.68202号 Tomás E.乌里韦。;Stickel，Mark E。 10 1994 模型消除理论的自上而下的元解释，为演绎和推理提供了程序。 Zbl 0819.68113号 Stickel，Mark E。 9 1994 解决困难计算问题的贝叶斯方法。（初步报告）。 Zbl 0991.68564号 埃里克·霍维茨;阮永绍;卡拉·戈麦斯;亨利·考茨;巴特·塞尔曼;标签，马克;炸鸡，马克斯 8 2001 Prolog技术定理证明器：由扩展Prolog编译器实现。 Zbl 0609.68065号 Stickel，Mark E。 4 1986 人工智能基础。高级课程。 Zbl 0614.68058号 4 1986 实施Davis-Putnam方法。 Zbl 0979.03012号 张汉涛;Stickel，Mark E。 三 2000 目标树上的一个洞：来自分辨率理论的一些指导。 Zbl 0324.68055号 唐纳德·洛夫兰。;Stickel，Mark E。 三 1976 一阶推理和决策程序的实际集成。 Zbl 1430.03037号 尼古拉·S·比约纳。;Stickel，Mark E。;Tomás E.乌里韦。 2 1997 自动推理和数学。纪念威廉·麦库恩的散文。 Zbl 1259.68002号 1 2013 自动推导中的单调性属性。 Zbl 0755.68123号 佐哈尔·曼纳;Stickel，Mark E。;理查德·沃尔丁格 1 1991 自动推理和数学。纪念威廉·麦库恩的散文。 Zbl 1259.68002号 1 2013 结构化可满足问题中的平衡和过滤。（初步报告）。 Zbl 0985.90509号 亨利·考茨;阮永绍;阿奇利奥普塔斯，迪米特里斯;卡拉·戈麦斯;巴特·塞尔曼;标签，马克 11 2001 解决困难计算问题的贝叶斯方法。（初步报告）。 Zbl 0991.68564号 埃里克·霍维茨;阮永绍;卡拉·戈麦斯;亨利·考茨;巴特·塞尔曼;标签，马克;炸鸡，马克斯 8 2001 实施Davis-Putnam方法。 Zbl 0967.68148号 张汉涛;标签，马克 18 2000 实施Davis-Putnam方法。 Zbl 0979.03012号 张汉涛;Stickel，Mark E。 三 2000 一阶推理和决策程序的实际集成。 Zbl 1430.03037号 尼古拉·S·比约纳。;Stickel，Mark E。;Tomás E.乌里韦。 2 1997 自动推理和穷举搜索：类群存在问题。 Zbl 0827.20083 斯莱尼，J。;M.藤田。;Stickel，Mark E。 13 1995 有序二元决策图和Davis-Putnam过程。 兹比尔1495.68202 Tomás E.乌里韦。;Stickel，Mark E。 10 1994 模型消除理论的自上而下的元解释，为演绎和推理提供了程序。 Zbl 0819.68113号 Stickel，Mark E。 9 1994 Prolog技术定理证明器：Prolog中的一个新的阐述和实现。 Zbl 0771.68096号 Stickel，Mark E。 22 1992 自然语言解释中计算最小成本诱因解释的类Prolog推理系统。 Zbl 1004.68552号 Stickel，Mark E。 13 1991 自动演绎中的单调性。 Zbl 0755.68123号 佐哈尔·曼纳;Stickel，Mark E。;Richard沃尔丁格 1 1991 Prolog技术定理证明器：由扩展Prolog编译器实现。 Zbl 0662.68104号 Stickel，Mark E。 52 1988 一阶逻辑中的集合论：哥德尔公理的子句。 Zbl 0635.03008号 罗伯特·博伊尔;欲望，尤因;威廉·麦库恩;罗斯·奥弗贝克;Stickel，Mark E。;沃斯，劳伦斯 18 1986 舒伯特的蒸汽压路机问题：公式和解决方案。 Zbl 0642.68164号 Stickel，Mark E。 15 1986 Prolog技术定理证明器：由扩展Prolog编译器实现。 Zbl 0609.68065号 Stickel，Mark E。 4 1986 人工智能基础。高级课程。 Zbl 0614.68058号 4 1986 通过理论解析自动推断。 Zbl 0616.68076号 贴纸，马克·E。 49 1985 Knuth-Bendix方法定理证明的一个案例研究：发现（x^3=x\）意味着环可换性。 Zbl 0546.68078号 Stickel，Mark E。 11 1984 一些等式理论的全套约简。 Zbl 0479.68092号 杰拉尔德·彼得森。;Stickel，Mark E。 133 1981 结合交换函数的统一算法。 Zbl 0462.68075号 Stickel，Mark E。 73 1981 目标树上的一个洞：来自分辨率理论的一些指导。 Zbl 0324.68055号 唐纳德·洛夫兰。;Stickel，Mark E。 三 1976 所有引用出版物 前5名被引用出版物 全部的 前5名被514位作者引用 12 迪帕克·卡普尔 10 大卫·艾伦（David Alan），Plaisted 9 克洛德·基什内尔 9 贴纸，马克·E。 9 张汉涛 8 弗兰兹·巴德 8 玛丽亚·保拉（Maria Paola Bonacina） 8 纳鸿·德肖维茨 7 让-皮埃尔·茹安瑙 7 何塞·梅塞盖尔·瓜伊塔 7 巴利亚特·纳伦德兰 5 利奥·巴赫迈尔 5 亚历山大·布代特 5 Gilles Dowek 5 Jieh乡 4 尤尔根阿文豪斯 4 莱因哈德·邦根 4 伊芙琳·孔特让 4 米基·赫尔曼 4 井上，胜美 4 赫莱内·基什内尔 4 克劳德·马奇 4 聂旭敏 4 延斯·奥滕 4 巴特·塞尔曼 4 乌韦·沃尔德曼 4 张健 三 彼得·鲍姆加特纳 三 沃尔夫冈·比贝尔 三 布鲁尼，雷纳托 三 斯特凡·布吕宁 三 比尔科特，汉斯·尤根 三 弗朗西斯科·杜兰 三 埃格利，乌韦 三 弗朗索瓦·法格斯 三 哈拉尔德·甘辛格 三 Heule，Marijn J.H。 三 莱茨，莱因霍尔德 三 唐纳德·洛夫兰。 三 安德烈亚斯·梅耶 三 奥莫多，尤金尼奥·乔瓦尼 三 托马斯·拉特 三 米歇尔·鲁西诺维奇 三 曼弗雷德·施密特·沙乌 三 所罗门·埃亚尔·希莫尼 三 沃尔克·索尔格 三 Tomás E.乌里韦。 三 克里斯托夫·韦登巴赫 三 沃斯，拉里 2 埃亚尔·埃米尔 2 安德鲁斯，彼得·B·。 2 亚历山德罗·阿曼多 2 巴勃罗·阿里吉 2 毛里西奥·阿亚拉·林科恩 2 伯恩哈德·贝克特 2 丹·贝纳纳夫 2 阿明·比尔 2 马修·毕晓普 2 尼古拉·S·比约纳。 2 书，罗纳德·弗农 2 Tour男孩，蒂埃里 2 乍得·布朗·爱德华 2 Randal E.布莱恩特。 2 沃尔夫拉姆·伯特纳 2 纪尧姆·伯勒 2 赵玉燕 2 周尚卿 2 安东尼·科恩（Anthony G.Cohn）。 2 迪亚斯·卡罗，亚历杭德罗 2 本杰明·杜邦 2 穆纳乔·埃切宁 2 圣地亚哥埃斯科瓦尔 2 斯蒂芬·福克 2 塞萨尔·费尔南德斯。 2 玛丽贝尔·费尔南德斯 2 阿尔布雷赫特·福滕巴赫 2 艾伦·M·弗里希。 2 乌尔里希·富巴赫 2 高晓山 2 蒂姆·盖斯勒 2 伊恩·菲利普·根特 2 恩里科·金西格里亚 2 福斯托·金奇利亚 2 卡拉·戈麦斯。 2 让·古鲍特·拉雷克 2 何立峰 2 托马斯·希伦布兰德 2 杰拉德·P·休特。 2 伊藤秀夫 2 亨利·考茨。 2 扬·威廉·克鲁普 2 Phokion G.科莱蒂斯。 2 特默尔库西亚 2 李世绝 2 格格利·卢卡西 2 菲利普·马尔博斯 2 Joáo P.塞尔瓦侯爵。 2 威廉·麦库恩。 2 Ole J.蒙苏尔。 2 罗伯特·纽文胡斯 …还有414位作者 全部的 前5名60篇连载文章被引用 49 自动推理杂志 40 符号计算杂志 33 人工智能 32 理论计算机科学 14 数学与人工智能年鉴 9 信息与计算 5 离散应用数学 4 计算机科学与技术杂志 4 新一代计算 4 工程、通信和计算中的应用代数 4 逻辑程序设计理论与实践 4 计算机科学中的逻辑方法 三 计算机与数学及其应用 三 信息处理信件 三 逻辑与代数程序设计杂志 2 离散数学 2 信息科学 2 计算机与系统科学杂志 2 符号逻辑杂志 2 国际近似推理杂志 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 约束条件 2 ACM计算逻辑事务 2 程序设计中的逻辑和代数方法杂志 1 信息学学报 1 计算数学 1 代数普遍性 1 应用数学与计算 1 Automatica公司 1 比特币 1 加拿大数学杂志 1 计算机协会杂志 1 纯粹与应用代数杂志 1 数学系统理论 1 圣母院形式逻辑杂志 1 RAIRO，Informatique Théorique公司 1 半群论坛 1 SIAM计算机杂志 1 Studia Logica公司 1 合成 1 计算机与运筹学 1 应用数学快报 1 数学和计算机建模 1 运筹学年鉴 1 机器学习 1 人工智能综述 1 Aequationes数学 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 控制论与系统分析 1 应用非经典逻辑杂志 1 函数编程杂志 1 美国医学会杂志 1 LMS计算与数学杂志 1 系统科学与复杂性杂志 1 应用逻辑杂志 1 离散优化 1 理论计算机科学电子笔记 1 形式化数学 全部的 前5名19个领域引用 368 计算机科学（68至XX） 141 数学逻辑和基础（03-XX） 15 一般代数系统（08-XX） 13 群论与推广（20-XX） 7 组合数学（05-XX） 7 运筹学、数学编程（90-XX） 5 阶、格、有序代数结构（06-XX） 5 交换代数（13-XX） 5 范畴理论；同调代数（18-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 信息与通信理论、电路（94-XX） 三 数论（11-XX） 三 非结合环和代数（17-XX） 三 量子理论（81-XX） 2 历史和传记（01-XX） 2 结合环与代数（16-XX） 1 场论和多项式（12-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.