编辑配置文件（在新选项卡中打开） 詹姆斯·斯拉格尔（James R.Slagle）。 合著者距离 作者ID： 矿渣.james-r 发布日期： 斯莱格尔，J.R。;詹姆斯·斯拉格尔（James R.Slagle）。;詹姆斯·斯拉格尔 更多。。。较少的 已编制索引的文档： 29出版物自1963年以来 2进一步捐款 合著者： 9合著者具有13联合出版物 168位合作作者 全部的 前5名合著者 13 单作者的 4 李嘉栋 2 伍德罗·W·布莱索。 2 约翰·K·狄克逊。 2 帕特里克·J·海斯。 2 孟，C.T。 2 Lewis M.诺顿。 1 索尔·阿马雷尔 1 罗伯特·布罗科特·安德森 1 安德鲁斯，彼得·B·。 1 David R.巴斯托。 1 本迪克斯，P.B。 1 J.H.贝内特。 1 汉斯·杰克，柏林人 1 罗伯特·W·宾克利。 1 布鲁斯·布坎南。 1 菲利普·伯斯基 1 丹尼尔·卡森（Daniel F.Carson）。 1 罗伯特·克拉克。 1 保罗·科恩。 1 戴维斯，兰德尔 1 达维多夫，G.V。 1 尼古拉斯·戈弗特·德布鲁因 1 理查德·杜达。 1 埃尔曼，L。 1 C.D.法雷尔。 1 爱德华·阿尔伯特·费根鲍姆 1 理查德·菲克斯（Richard E.Fikes）。 1 约翰·加什尼格（John G.Gaschnig）。 1 路易斯·格林。 1 J.R.卫德。 1 彼得·E·哈特。 1 弗雷德里克·海斯·罗斯 1 S.R.jun海勒。 1 劳伦斯·亨森。 1 唐纳德·埃尔文（Donald Ervin Knuth） 1 Deena A.科尼弗。 1 维克托·莱塞（Victor R.Lesser）。 1 唐纳德·W·洛夫兰。 1 大卫·C·勒克姆。 1 艾伦·K·麦克沃思。 1 佐哈尔·曼纳 1 S.Yu，马斯洛夫。 1 约翰·麦卡锡 1 格里戈里·埃弗罗伊莫维奇造币厂 1 詹姆斯·莫里斯。 1 尼尔斯·尼尔森。 1 F.C.奥格尔斯比。 1 奥列夫科夫（V.P.Orevkov）。 1 C.雷蒙德·佩罗 1 达格·普拉维茨 1 雷蒙德·雷特 1 乔治·A·罗宾逊。 1 约翰·艾伦·罗宾逊 1 定居，L.G。 1 利昂·沙拉 1 肖特利夫，爱德华·H。 1 谢克曼，Jörg H。 1 A.O.斯利森科。 1 斯特菲克，M。 1 Tseĭtin，格里戈里·萨穆伊洛维奇 1 理查德·沃丁格。 1 王志 1 邦妮·林恩·韦伯 1 理查德·韦哈奇（Richard W.Weyhrauch）。 1 大卫·C·威尔金斯。 1 哇，拉里 1 格雷厄姆·怀特森 全部的 前5名系列 10 计算机协会杂志 6 ACM通信 2 人工智能 1 美国数学月刊 1 《计算机杂志》。A部分/B部分 1 电气电子工程师学会计算机期刊 1 信息科学 1 经济动力学与控制杂志 1 IEEE软件工程汇刊 1 IEEE系统、人与控制论汇刊 全部的 前5名领域 21 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 统计学（62-XX） 1 历史和传记（01-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用264中的次226文件 引用人▼ 年份▼ 为具有简化器、交换性和结合性的理论提供自动化理论证明。 Zbl 0296.68092号 詹姆斯·斯拉格尔（James R.Slagle）。 81 1974 具有可重命名和语义解析的自动定理证明。 Zbl 0157.02405号 斯莱格尔，J.R。 39 1967 用一些搜索游戏树的程序进行实验。 Zbl 0224.68009号 詹姆斯·斯拉格尔（James R.Slagle）。;约翰·K·狄克逊。 22 1969 搜索and/OR图的一种允许的优化算法。 Zbl 0227.68016号 Chang，C.L.（常，C.L.）。;斯莱格尔，J.R。 20 1971 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 人工智能阅读。 Zbl 0498.68054号 18 1981 一种生成素数蕴涵的新算法。 兹比尔0197.14601 斯莱格尔，J.R。;Chang，C.-L。;李，R.C.T。 15 1970 解决新生微积分中的符号积分问题的启发式程序。 Zbl 0113.32801 詹姆斯·斯莱格尔。 13 1963 多用途启发式程序的自动学习实验。 Zbl 0214.42602号 斯莱格尔，J.R。;C.D.法雷尔。 12 1971 自动定理证明，内置理论包括等式、偏序和集合。 Zbl 0231.68035号 詹姆斯·斯拉格尔（James R.Slagle）。 12 1972 一种聚类和数据重组算法。 Zbl 0293.68074号 斯莱格尔，J.R。;Chang，C.L.（常，C.L.）。;S.R.海勒。 8 1975 使用多用途、理论证明的启发式程序进行实验。 Zbl 0159.21202号 詹姆斯·斯拉格尔（James R.Slagle）。;菲利普·伯斯基 7 1968 博弈树搜索技术在序列模式识别中的应用。 Zbl 0213.18205号 斯莱格尔，J.R。;李，R.C.T。 6 1971 使用具有部分排序推理规则的自动理论证明进行实验。 Zbl 0271.68062号 詹姆斯·斯拉格尔（James R.Slagle）。;Lewis M.诺顿。 6 1973 在AN/OR树中查找解决方案证明并使用重复目标。 兹比尔0226.68043 詹姆斯·斯拉格尔（James R.Slagle）。;Deena A.科尼弗。 三 1971 启发式搜索程序。 Zbl 0208.19802号 斯莱格尔，J.R。 三 1970 使用连接图的重写规则证明定理。 兹比尔0429.68078 Chang，C.L.（常，C.L.）。;斯莱格尔，J.R。 三 1979 一种有效的算法，用于寻找进行二进制决策的某些最小成本过程。 Zbl 0123.33707号 詹姆斯·斯拉格尔（James R.Slagle）。 三 1964 学习的多用途定理证明启发式程序。 兹标0173.01704 斯莱格尔，J.R。 2 1966 用（M）和（N）树搜索程序进行实验。 Zbl 0187.40503号 斯莱格尔，J.R。;J.K.狄克逊。 2 1970 下谓词演算中解的插值定理。 Zbl 0198.03601号 斯莱格尔，J.R。 2 1970 等式理论线性反驳的完备性。 Zbl 0239.68016号 Chang，C.L.（常，C.L.）。;斯莱格尔，J.R。 2 1971 部分和全部排序理论的自动理论证明。 Zbl 0296.68091号 斯莱格尔，J.R。;诺顿，L.M。 1 1975 应用聚类来估计缺失数据并改进数据完整性。 Zbl 0362.68117号 李，R.C.T。;斯莱格尔，J.R。;孟，C.T。 1 1976 实现记录的自动审核。 Zbl 0385.68078号 李，R.C.T。;詹姆斯·斯拉格尔（James R.Slagle）。;孟，C.T。 1 1978 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 人工智能阅读。 Zbl 0498.68054号 18 1981 使用连接图的重写规则证明定理。 兹比尔0429.68078 Chang，C.L.（常，C.L.）。;斯莱格尔，J.R。 三 1979 实现记录的自动审核。 Zbl 0385.68078号 李，R.C.T。;詹姆斯·斯拉格尔（James R.Slagle）。;孟，C.T。 1 1978 应用聚类来估计缺失数据并改进数据完整性。 Zbl 0362.68117号 李，R.C.T。;斯莱格尔，J.R。;孟，C.T。 1 1976 一种聚类和数据重组算法。 Zbl 0293.68074号 斯莱格尔，J.R。;Chang，C.L.（常，C.L.）。;S.R.海勒。 8 1975 部分和全部排序理论的自动理论证明。 Zbl 0296.68091号 斯莱格尔，J.R。;诺顿，L.M。 1 1975 为具有简化器、交换性和结合性的理论提供自动化理论证明。 Zbl 0296.68092号 詹姆斯·斯拉格尔（James R.Slagle）。 81 1974 使用具有部分排序推理规则的自动理论证明进行实验。 Zbl 0271.68062号 詹姆斯·斯拉格尔（James R.Slagle）。;Lewis M.诺顿。 6 1973 自动定理证明，内置理论包括等式、偏序和集合。 Zbl 0231.68035号 詹姆斯·斯拉格尔（James R.Slagle）。 12 1972 搜索and/OR图的一种允许的优化算法。 兹比尔0227.68016 Chang，C.L.（常，C.L.）。;斯莱格尔，J.R。 20 1971 多用途启发式程序的自动学习实验。 Zbl 0214.42602号 斯莱格尔，J.R。;C.D.法雷尔。 12 1971 博弈树搜索技术在序列模式识别中的应用。 兹伯利0213.18205 斯莱格尔，J.R。;李，R.C.T。 6 1971 在AN/OR树中查找解决方案证明并使用重复目标。 Zbl 0226.68043号 詹姆斯·斯拉格尔（James R.Slagle）。;Deena A.科尼弗。 三 1971 等式理论线性反驳的完备性。 Zbl 0239.68016号 Chang，C.L.（常，C.L.）。;斯莱格尔，J.R。 2 1971 一种生成素数蕴涵的新算法。 Zbl 0197.14601号 斯莱格尔，J.R。;Chang，C.-L。;李，R.C.T。 15 1970 启发式搜索程序。 Zbl 0208.19802号 斯莱格尔，J.R。 三 1970 用（M）和（N）树搜索程序进行实验。 Zbl 0187.40503号 斯莱格尔，J.R。;J.K.狄克逊。 2 1970 下谓词演算中解的插值定理。 Zbl 0198.03601号 斯莱格尔，J.R。 2 1970 用一些搜索游戏树的程序进行实验。 Zbl 0224.68009号 詹姆斯·斯拉格尔（James R.Slagle）。;约翰·K·狄克逊。 22 1969 使用多用途、理论证明的启发式程序进行实验。 Zbl 0159.21202号 詹姆斯·斯莱格尔。;菲利普·伯斯基 7 1968 具有可重命名和语义解析的自动定理证明。 Zbl 0157.02405号 斯莱格尔，J.R。 39 1967 学习的多用途定理证明启发式程序。 Zbl 0173.01704号 斯莱格尔，J.R。 2 1966 一种有效的算法，用于寻找进行二进制决策的某些最小成本过程。 Zbl 0123.33707号 詹姆斯·斯拉格尔（James R.Slagle）。 三 1964 解决新生微积分中的符号积分问题的启发式程序。 Zbl 0113.32801 詹姆斯·斯莱格尔。 13 1963 所有引用出版物 前5名被引用出版物 全部的 前5名297位作者引用 12 德国维达尔 7 迈克尔·哈纳斯 6 玛丽亚·阿尔普特 6 玛丽亚·保拉（Maria Paola Bonacina） 6 大卫·艾伦（David Alan），Plaisted 5 弗兰兹·巴德 5 黛米斯·巴利斯 5 纳鸿·德肖维茨 5 圣地亚哥埃斯科瓦尔 5 卡普尔，迪帕克 5 直纪西田 4 尼古拉斯·佩尔蒂埃 4 朱莉娅·萨皮娜 三 塞尔吉奥·安托伊 三 利奥·巴赫迈尔 三 劳伦·弗里堡 三 吉奥瓦尼·吉达 三 杰克·明克尔 三 巴利亚特·纳伦德兰 三 朱迪亚·珀尔 三 马尔科·索马利维科 2 艾尔维拉·阿尔伯特 2 埃亚尔·埃米尔 2 伍德罗·W·布莱索。 2 尤里·布莱特巴特 2 布赫伯格，布鲁诺 2 里卡多·卡费拉 2 Murray S.坎贝尔。 2 曹、冯 2 陈树伟 2 詹姆斯·哈罗德·达文波特 2 约翰·德克莱尔 2 瑞希德·埃哈希德 2 丹尼尔·菲什曼。 2 乌尔里希·富巴赫 2 拉里·海恩斯（Larry M.Hines）。 2 斯特芬·Hölldobler 2 Jieh乡 2 茨城，东芝 2 艾达、铁雄 2 李家栋 2 刘军 2 唐纳德·W·洛夫兰。 2 萨尔瓦多卢卡斯 2 詹姆斯·麦克斯基明（James R.McSkimin）。 2 何塞·梅塞盖尔·瓜伊塔 2 阿尔特·米德尔多普 2 聂旭敏 2 沃纳·纳特 2 佐藤奥奎 2 多米尼克·帕斯特雷 2 J.瓜达卢佩·拉莫斯 2 美国雷迪。 2 雷蒙德·雷特 2 Laurent Siklóssy 2 乔塞普·席尔瓦 2 詹姆斯·斯莱格尔。 2 罗尔夫·索彻 2 Jos W.H.M.Uiterwijk。 2 H.Jaap，van den Herik 2 VanderBrug，Gordon J。 2 乌韦·沃尔德曼 2 徐、杨 2 张汉涛 1 约翰·A·阿伯特。 1 安倍晋一 1 Ábrahám，艾瑞卡 1 乌拉尔·阿克萨卡利 1 侯赛因·穆巴拉克·阿尔巴拉卡蒂 1 艾利斯·L·维克多 1 易卜拉欣·阿里 1 古斯塔沃·阿罗约 1 阿尔文德，B。 1 马可·阿斯特 1 贝歇尔·阿耶布 1 皮埃尔·巴尔迪 1 杰拉德·M·鲍德特。 1 埃里克·鲍姆。 1 乔夫罗伊·博基尔 1 贝恩德·贝克尔 1 迈克尔·比森。 1 丹·贝纳纳夫 1 贝拉德，贝特里奇 1 汉斯·杰克·柏林 1 马克·贝泽姆 1 安娜·玛丽亚·比加蒂 1 布赖恩·博菲 1 马西莫邦塞尼亚 1 杰纳维耶夫·博苏 1 克里斯托弗·伯利 1 布莱恩，马丁 1 弗朗索瓦·布隆萨德 1 彼得·布鲁尔 1 莱因哈德·邦根 1 纪尧姆·伯勒 1 尼克·塞尔科内。 1 Chang、Ruay Shiung 1 Chebotarev，Anatoli N。 1 迭戈·切达 1 程春红 …还有197位作者 全部的 前5名在45篇连载文章中被引用 52 人工智能 20 符号计算杂志 16 信息科学 13 理论计算机科学 12 自动推理杂志 4 模式识别 三 计算机与数学及其应用 三 离散应用数学 三 信息处理信件 三 国际计算机与信息科学杂志 三 逻辑程序设计理论与实践 三 程序设计中的逻辑与代数方法杂志 2 信息学学报 2 信息与计算 2 计算的形式方面 2 工程、通信和计算中的应用代数 2 数学与人工智能年鉴 1 国际控制杂志 1 计算物理杂志 1 生物医学杂志 1 苏联数学杂志 1 数学系统理论 1 软件。实践与经验 1 控制论 1 国际生产研究杂志 1 复杂性杂志 1 计算机科学与技术杂志 1 新一代计算 1 运筹学年鉴 1 国际计算机科学基础杂志 1 设计、代码和密码 1 欧洲运筹学杂志 1 国际计算机数学杂志 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学编程。A系列B系列 1 控制论与系统分析 1 运筹学国际交易 1 信息计算杂志 1 工程中的数学问题 1 苯乙酸。模式分析与应用 1 高阶和符号计算 1 智能与模糊系统杂志 1 计算机代数中的ACM通信 1 概率统计杂志 全部的 前5名19个领域引用 205 计算机科学（68至XX） 48 数学逻辑和基础（03-XX） 14 博弈论、经济学、金融和其他社会和行为科学（91-XX） 12 运筹学、数学规划（90-XX） 8 信息与通信理论、电路（94-XX） 7 一般代数系统（08-XX） 6 组合数学（05-XX） 6 阶、格、有序代数结构（06-XX） 6 统计学（62-XX） 4 数值分析（65-XX） 三 历史和传记（01-XX） 三 群论与推广（20-XX） 2 范畴理论；同调代数（18-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 概率论与随机过程（60-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文