编辑配置文件（在新选项卡中打开） 唐纳德·洛夫兰。 合著者距离 作者ID： 洛夫兰·唐纳·w 发布日期： D.W.洛夫兰。；唐纳德·洛夫兰。；洛夫兰，D。；洛夫兰，唐纳德 更多。。。较少的 外部链接： MGP公司·维基数据·接地·ID参考 已编制索引的文档： 30份出版物自1962年以来，包括2本书 2作为编辑的贡献·2进一步捐款 合著者： 18位合著者具有16联合出版物 195位合作作者 全部的 前5名合著者 16 单作者的 三 大卫·W·里德。 2 伍德罗·W·布莱索。 2 丹尼尔·卡森（Daniel F.Carson）。 2 戴维斯，马丁·戴维 2 达维多夫，G.V。 2 乔治·洛格曼 2 S.Yu，马斯洛夫。 2 格里戈里·埃弗罗伊莫维奇造币厂 2 奥列夫科夫（V.P.Orevkov）。 2 达格·普拉维茨 2 乔治·罗宾逊。 2 约翰·艾伦·罗宾逊 2 谢克曼，Jörg H。 2 A.O.斯利森科。 2 格雷厄姆·怀特森 1 罗伯特·布罗科特·安德森 1 安德鲁斯，彼得·B·。 1 O.L.阿斯特拉坎。 1 本迪克斯，P.B。 1 J.H.贝内特。 1 埃弗特·威廉·贝思 1 罗伯特·W·宾克利。 1 罗伯特·克拉克。 1 尼古拉斯·戈弗特·德布鲁因 1 布拉德福德·邓纳姆 1 弗莱西格，S。 1 弗里德沙尔，R。 1 赫伯特·L·盖伦特。 1 保罗·C·吉尔摩。 1 J.R.卫德。 1 帕特里克·J·海斯。 1 劳伦斯·J·亨森。 1 理查德·霍德尔（Richard E.Hodel）。 1 斯蒂格·康格 1 唐纳德·埃尔文（Donald Ervin Knuth） 1 大卫·C·勒克姆。 1 伯纳德·梅尔泽 1 詹姆斯·莫里斯。 1 戈帕兰·纳达图尔 1 艾伦·纽厄尔 1 诺斯，J.H。 1 F.C.奥格尔斯比。 1 哈坎·普拉维茨 1 希拉里·怀特霍尔·普特南 1 亚伯拉罕·鲁滨逊 1 阿什什·萨巴沃尔 1 巴特·塞尔曼 1 定居，L.G。 1 Shalla，莱昂 1 尼古拉·沙宁（Nikola Shanin） 1 Jiin-Chang肖 1 罗伯特·肖斯塔克（Robert E.Shostak）。 1 赫伯特·亚历山大·西蒙 1 詹姆斯·斯拉格尔（James R.Slagle）。 1 斯迈利，A.K.III 1 苏珊·斯特雷特。 1 Stickel，Mark E。 1 斯瓦德，G.L。 1 谢霆、格里戈里、萨缪洛维奇 1 马尔科·瓦尔托塔 1 北卡罗来纳州沃格拉。 1 王浩 1 威尔逊、黛布拉·苏 1 沃斯，拉里 1 沃斯，劳伦斯·托马斯 1 阿德南·H·叶海亚。 1 Yarmush，D.L。 全部的 前5名系列 5 计算机协会杂志 4 自动推理杂志 1 信息学报 1 电气电子工程师学会计算机期刊 1 信息和控制 1 美国数学学会会刊 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 算法杂志 1 逻辑程序设计杂志 1 新一代计算 1 国际近似推理杂志 1 ACM通信 1 数学与人工智能年鉴 1 当代数学 1 计算机科学课堂讲稿 1 机器智能 全部的 前5名领域 27 计算机科学（68至XX） 7 数理逻辑与基础（03-XX） 4 历史和传记（01-XX） 2 总体主题；集合（00-XX） 1 统计学（62-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用875中的次736文件 引用人▼ 年份▼ 用于理论证明的机器程序。 Zbl 0217.54002号 M.戴维斯。；G·洛格曼。；洛夫兰，D。 442 1962 自动定理证明：逻辑基础。 Zbl 0364.68082号 唐纳德·洛夫兰。 153 1978 通过模型消去证明力学理论。 Zbl 0162.02804号 D.W.洛夫兰。 39 1968 科尔莫戈罗夫复杂性概念的变体。 Zbl 0188.52101号 D.W.洛夫兰。 35 1969 模型消除理论证明程序的简化格式。 Zbl 0183.29603号 D.W.洛夫兰。 31 1969 带有有界量词交替的Presburger算法。 兹比尔1282.68142 C.R.雷迪。；D.W.洛夫兰。 28 1978 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 兹伯利0567.03002 20 1983 米塞斯随机序列概念的新解释。 Zbl 0158.00601号 洛夫兰，D。 19 1966 分辨率的线性格式。 兹伯利0202.01501 D.W.洛夫兰。 17 1970 自动定理证明：25年后。（1983年1月5日至9日在科罗拉多州丹佛市举行的美国数学学会第89届年会自动定理证明特别会议记录）。 Zbl 0545.00023号 14 1984 Near-Horn序言及其他。 Zbl 0723.68029号 唐纳德·洛夫兰。 14 1991 推理自动化。1：1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 SATCHMORE：具有相关性的SATCHMO。 Zbl 0939.68824号 唐纳德·洛夫兰。；大卫·W·里德。；Debra S.威尔逊。 11 1995 模型消除证明过程的实现。 Zbl 0283.68057号 弗莱西格，S。；洛夫兰，D。；斯迈利，A.K.III；Yarmush，D.L。 9 1974 对一些线性Herbrand过程的统一看法。 Zbl 0243.68012号 D.W.洛夫兰。 8 1972 自动化理论证明：四分之一世纪的回顾。 Zbl 0553.68050号 唐纳德·洛夫兰。 7 1984 模型消除过程中引理的使用。 Zbl 0882.68132号 O.L.阿斯特拉坎。；D.W.洛夫兰。 7 1997 三种PROLOG扩展的比较。 兹伯利0754.68034 大卫·W·里德。；唐纳德·洛夫兰。 5 1992 关于最小程序复杂性度量。 Zbl 1282.68146号 D.W.洛夫兰。 5 1969 递归随机序列的Kleene层次分类。 兹比尔0189.01101 D.W.洛夫兰。 4 1966 逻辑的三种观点。数学、哲学和计算机科学。 Zbl 1291.03001号 唐纳德·洛夫兰。；理查德·霍德尔。；斯特雷特，S.G。 4 2014 第六届自动扣除会议，1982年6月7日至9日，美国纽约。 Zbl 0476.00025号 4 1982 目标树上的一个洞：来自分辨率理论的一些指导。 Zbl 0324.68055号 唐纳德·洛夫兰。；Stickel，Mark E。 三 1976 删除问题简化格式中的重复目标。 Zbl 0468.68096号 D.W.洛夫兰。；C.R.雷迪。 三 1981 Near-Horn Prolog和程序的祖先家族。 Zbl 0855.68014号 大卫·W·里德。；唐纳德·洛夫兰。 三 1995 结合模型消除和解析的定理证明器。 Zbl 0257.68083号 D.W.洛夫兰。 2 1969 简化解释公式。 Zbl 0438.68054号 D.W.洛夫兰。；肖斯塔克，R.E。 2 1980 DPLL：现代可满足性求解器的核心。 Zbl 1439.68026号 洛夫兰，唐纳德；阿什什·萨巴沃尔；巴特·塞尔曼 2 2016 逻辑编程的证明程序。 Zbl 0900.68139号 D.W.洛夫兰。；G.纳达图尔。 2 1998 关于信念网络综合与精化的复杂性。 Zbl 0769.68114号 马尔科·瓦尔托塔；唐纳德·洛夫兰。 1 1992 SATCHMOREBID：具有双向相关性的SATCHMO（RE）。 Zbl 1089.68546号 唐纳德·洛夫兰。；阿德南·H·叶海亚。 1 2003 DPLL：现代可满足性求解器的核心。 Zbl 1439.68026号 洛夫兰，唐纳德；阿什什·萨巴沃尔；巴特·塞尔曼 2 2016 逻辑的三种观点。数学、哲学和计算机科学。 兹比尔1291.03001 唐纳德·洛夫兰。；理查德·霍德尔（Richard E.Hodel）。；斯特雷特，S.G。 4 2014 SATCHMOREBID：具有双向相关性的SATCHMO（RE）。 Zbl 1089.68546号 唐纳德·洛夫兰。；阿德南·H·叶海亚。 1 2003 逻辑编程的证明程序。 Zbl 0900.68139号 D.W.洛夫兰。；G.纳达图尔。 2 1998 模型消除过程中引理的使用。 兹伯利0882.68132 O.L.阿斯特拉坎。；D.W.洛夫兰。 7 1997 SATCHMORE：具有相关性的SATCHMO。 Zbl 0939.68824号 唐纳德·洛夫兰。；大卫·W·里德。；Debra S.威尔逊。 11 1995 Near-Horn Prolog和程序的祖先家族。 Zbl 0855.68014号 大卫·W·里德。；唐纳德·洛夫兰。 三 1995 三种PROLOG扩展的比较。 Zbl 0754.68034号 大卫·W·里德。；唐纳德·洛夫兰。 5 1992 关于信念网络综合与精化的复杂性。 Zbl 0769.68114号 马尔科·瓦尔托塔；唐纳德·洛夫兰。 1 1992 Near-Horn序言及其他。 Zbl 0723.68029号 唐纳德·洛夫兰。 14 1991 自动定理证明：25年后。（1983年1月5日至9日在科罗拉多州丹佛市举行的美国数学学会第89届年会自动定理证明特别会议记录）。 Zbl 0545.00023号 14 1984 自动化理论证明：四分之一世纪的回顾。 Zbl 0553.68050号 唐纳德·洛夫兰。 7 1984 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 推理自动化。1：1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 第六届自动扣除会议，1982年6月7日至9日，美国纽约。 Zbl 0476.00025号 4 1982 删除问题简化格式中的重复目标。 Zbl 0468.68096号 洛夫兰，D.W。；C.R.雷迪。 三 1981 简化解释公式。 Zbl 0438.68054号 D.W.洛夫兰。；肖斯塔克，R.E。 2 1980 自动定理证明：逻辑基础。 Zbl 0364.68082号 唐纳德·洛夫兰。 153 1978 带有有界量词交替的Presburger算法。 Zbl 1282.68142号 C.R.雷迪。；洛夫兰，D.W。 28 1978 目标树上的一个洞：来自分辨率理论的一些指导。 Zbl 0324.68055号 唐纳德·洛夫兰。；Stickel，Mark E。 三 1976 模型消除证明过程的实现。 Zbl 0283.68057号 弗莱西格，S。；洛夫兰，D。；斯迈利，A.K.III；Yarmush，D.L。 9 1974 对一些线性Herbrand过程的统一看法。 Zbl 0243.68012号 D.W.洛夫兰。 8 1972 分辨率的线性格式。 Zbl 0202.01501号 D.W.洛夫兰。 17 1970 科尔莫戈罗夫复杂性概念的变体。 Zbl 0188.52101号 D.W.洛夫兰。 35 1969 模型消除理论证明程序的简化格式。 Zbl 0183.29603号 D.W.洛夫兰。 31 1969 关于最小程序复杂性度量。 Zbl 1282.68146号 D.W.洛夫兰。 5 1969 结合模型消除和解析的定理证明器。 Zbl 0257.68083号 D.W.洛夫兰。 2 1969 通过模型消去证明力学理论。 Zbl 0162.02804号 D.W.洛夫兰。 39 1968 对米塞斯随机序列概念的新解释。 Zbl 0158.00601号 洛夫兰，D。 19 1966 递归随机序列的Kleene层次分类。 Zbl 0189.01101号 洛夫兰，D.W。 4 1966 用于理论证明的机器程序。 Zbl 0217.54002号 M.戴维斯。；G·洛格曼。；洛夫兰，D。 442 1962 所有引用的出版物 前5名被引用出版物 全部的 前5名被1064位作者引用 14 普莱斯特德，大卫·艾伦 11 玛丽亚·保拉（Maria Paola Bonacina） 10 尼古拉斯·佩尔蒂埃 9 恩里科Giunchilia 9 Joáo P.塞尔瓦侯爵。 9 范盖尔德，艾伦 7 马丁·范策尔 7 李楚敏 7 尤利亚·利勒 7 Stickel，Mark E。 7 克里斯托夫·韦登巴赫 6 彼得·鲍姆加特纳 6 尤金·戈德伯格。 6 马西莫·劳里亚 6 唐纳德·洛夫兰。 6 很多，费利普 6 托尔斯滕·绍布（Torsten H.Schaub）。 6 巴特·塞尔曼 6 斯泽德，斯特凡 6 蒂诺·特伊格 5 艾丽卡·阿尔布拉汉姆 5 安德烈亚斯·艾格斯 5 井上，胜美 5 Dmitry M.Itsykson。 5 林奇，因斯 5 马可·马拉提亚 5 罗伯特·纽文胡斯 5 托尼安·皮塔西 5 阿什什·萨巴沃尔 5 彼得·詹姆斯·斯塔基 4 保罗·W·比姆。 4 贝恩德·贝克尔 4 奥拉夫·拜尔斯多夫 4 沃尔夫冈·比贝尔 4 布鲁尼，雷纳托 4 莱昂纳多·德·莫拉 4 吉勒·德肯 4 罗德尼·格雷厄姆·唐尼 4 段振华 4 乌尔里希·富巴赫 4 卡拉·戈麦斯。 4 雷纳·哈内尔 4 爱德华·赫施。 4 约翰·胡克（John N.jun Hooker）。 4 詹·约翰森 4 奥利弗·库尔曼 4 莱茨，莱因霍尔德 4 杰克·卢茨。 4 聂旭敏 4 安德烈·奥特弗里德·涅斯 4 雅各布诺德斯特伦 4 奥莫多，尤金尼奥·乔瓦尼 4 延斯·奥滕 4 阿曼多·塔切拉 4 塞萨尔·蒂内利 4 莫西·亚亚科夫·瓦尔迪 4 安德烈·沃伦科夫 4 张楠 三 库尔特·阿蒙 三 亚历山德罗·阿曼多 三 阿明·比尔 三 贾斯敏·克里斯蒂安·布兰切特 三 斯特凡·布吕宁 三 Randal E.布莱恩特。 三 Samuel R.巴斯。 三 里卡多·卡费拉 三 亚历山德罗·西马蒂 三 弗朗西斯科·科尔曼 三 安纳托利·伊万诺维奇·德吉亚列夫 三 奥利维尔·杜波伊斯 三 马蒂亚斯·弗勒里 三 尼古拉·加莱西 三 马丁·格布瑟 三 埃里希·格拉德尔 三 阿尔贝托·格里乔 三 贾马尔·哈贝特 三 尤塞夫·哈马迪 三 安东尼奥·埃尔南多 三 Heule，Marijn J.H。 三 罗素·英帕利亚佐 三 赛义德·贾布尔 三 马蒂·Järvisalo 三 汤米·A·琼蒂拉。 三 本杰明·考夫曼 三 Stefan Kupferschmid 三 弗罗林白斜纹织物 三 林奇，Christopher A。 三 菲利普·马里奇 三 皮埃尔·侯爵 三 菲利普·马修 三 沃尔夫冈·默克尔 三 Niemelä，Ilkka N.F。 三 汉斯·尤根·奥巴赫 三 阿尔伯特·奥利弗拉斯 三 奥利维尔·罗塞尔 三 拉赫达尔·塞伊斯 三 克劳斯·彼得·施诺尔 三 Aleksandr Anatol’evich塞梅诺夫 三 桑吉特·阿伦库马尔·塞希亚 三 何塞·席尔瓦·科埃略 …还有964位作者 全部的 前5名109篇连载文章中引用 76 人工智能 70 自动推理杂志 51 理论计算机科学 32 数学与人工智能年鉴 31 离散应用数学 24 符号计算杂志 18 信息与计算 17 信息处理信件 14 约束条件 13 信息科学 11 计算机与系统科学杂志 11 纯逻辑与应用逻辑年鉴 11 逻辑程序设计理论与实践 8 计算机科学与技术杂志 8 系统设计中的形式化方法 6 计算机与运筹学 5 SIAM计算机杂志 5 国际近似推理杂志 5 欧洲运筹学杂志 5 应用非经典逻辑杂志 5 计算机科学中的逻辑方法 4 符号逻辑杂志 4 运筹学年鉴 4 应用数学杂志 三 模糊集与系统 三 数学系统理论 三 运营研究信件 三 新一代计算 三 计算的形式方面 三 符号逻辑公报 2 国际通用系统杂志 2 数学物理杂志 2 美国数学学会会刊 2 计算机程序设计科学 2 复杂性杂志 2 算法 2 国际并行程序设计杂志 2 数学和计算机建模 2 杰泰。实验与理论人工智能杂志 2 计算复杂性 2 逻辑、语言与信息杂志 2 数学科学杂志（纽约） 2 人工智能研究杂志 2 计算系统理论 2 调度日志 2 国际应用数学与计算机科学杂志 2 ACM计算逻辑事务 2 4OR（或） 2 离散优化 2 计算理论 2 Prikladnaya Diskretnaya Matematika公司 1 信息学报 1 计算机与数学及其应用 1 纯粹数学与应用数学交流 1 离散数学 1 富兰克林学院学报 1 数学笔记 1 数学杂志 1 数学进展 1 计算 1 苏联数学杂志 1 美国数学学会会刊 1 编程与计算机软件 1 半群论坛 1 合成 1 欧洲组合数学杂志 1 统计与概率信件 1 组合数学 1 离散和计算几何 1 国际智能系统杂志 1 人工智能通信 1 机器学习 1 计算几何 1 全球优化杂志 1 离散事件动态系统 1 设计、代码和密码 1 应用智能 1 统计传播。理论与方法 1 国际计算机数学杂志 1 模式识别 1 数学逻辑档案 1 工程、通信和计算中的应用代数 1 国际计算机与系统科学杂志 1 埃及数学学会杂志 1 经济理论 1 组合数学电子杂志 1 国际运筹学汇刊 1 启发式杂志 1 工程中的数学问题 1 优化方法和软件 1 软计算 1 组合优化期刊 1 新物理学杂志 1 非线性科学与数值模拟中的通信 1 RAIRO公司。理论信息学及其应用 1 应用概率的方法与计算 1 逻辑与代数程序设计杂志 1 自然计算 1 JMMA公司。数学建模与算法杂志 1 离散算法杂志 …还有9部连续剧 全部的 前5名27个领域被引用 635 计算机科学（68至XX） 234 数理逻辑与基础（03-XX） 59 运筹学、数学规划（90-XX） 23 组合数学（05-XX） 16 信息与通信理论、电路（94-XX） 9 数值分析（65-XX） 7 统计学（62-XX） 7 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 6 数论（11-XX） 6 量子理论（81-XX） 5 历史和传记（01-XX） 5 概率论与随机过程（60-XX） 4 总体主题；集合（00-XX） 4 常微分方程（34-XX） 4 凸和离散几何（52至XX） 三 几何图形（51至XX） 三 系统论；控制（93至XX） 2 阶、格、有序代数结构（06-XX） 2 一般代数系统（08-XX） 2 场论与多项式（12-XX） 2 代数几何（14-XX） 2 生物学和其他自然科学（92-XX） 1 交换代数（13-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 群论与推广（20-XX） 1 欧氏空间的调和分析（42至XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.