编辑配置文件(在新选项卡中打开) 唐纳德·库纳 合著者距离 作者ID: 奎纳·多纳尔德 发布日期: 唐纳德·奎纳 已编制索引的文档: 2出版物自1971年起 1进一步贡献 合著者: 1位合著者具有1联合出版物 28位合作作者 全部的 前5名合著者 1 单作者的 1 罗伯特·布罗科特·安德森 1 安德鲁斯,彼得·B·。 1 本迪克斯,P.B。 1 J.H.贝内特。 1 罗伯特·W·宾克利。 1 伍德罗·W·布莱索。 1 丹尼尔·卡森(Daniel F.Carson)。 1 罗伯特·克拉克。 1 达维多夫,G.V。 1 尼古拉斯·戈弗特·德布鲁因 1 警卫,J.R。 1 帕特里克·J·海斯。 1 劳伦斯·亨森。 1 唐纳德·埃尔文(Donald Ervin Knuth) 1 罗伯特·A·科瓦尔斯基。 1 唐纳德·洛夫兰。 1 大卫·C·勒克姆。 1 S.Yu,马斯洛夫。 1 格里戈里·埃弗罗伊莫维奇造币厂 1 詹姆斯·莫里斯。 1 F.C.奥格尔斯比。 1 奥列夫科夫(V.P.Orevkov)。 1 达格·普拉维茨 1 乔治·罗宾逊。 1 约翰·艾伦·罗宾逊 1 定居,L.G。 1 Shalla,莱昂 1 谢克曼,Jörg H。 1 詹姆斯·斯拉格尔(James R.Slagle)。 1 A.O.斯利森科。 1 谢霆、格里戈里、萨缪洛维奇 1 沃斯,拉里 1 格雷厄姆·怀特森 系列 1 人工智能 1 机器智能 领域 三 计算机科学(68至XX) 1 历史和传记(01-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 三出版物有被引用53中的次53文件 引用人▼ 年份▼ 具有选择功能的线性分辨率。 Zbl 0234.68037号 罗伯特·科瓦尔斯基;唐纳德·奎纳 53 1971 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 一些特殊用途的分辨率系统。 兹比尔0249.68033 D.奎纳。 5 1972 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 一些特殊用途的分辨率系统。 Zbl 0249.68033号 D.奎纳。 5 1972 具有选择功能的线性分辨率。 Zbl 0234.68037号 罗伯特·科瓦尔斯基;唐纳德·奎纳 53 1971 所有引用出版物 排名前五的出版物 全部的 前5名92位作者引用 6 杰克·明克尔 三 曼努埃尔·赫梅内吉尔多。 2 维托尔·桑托斯·科斯塔 2 伊萨贝拉博士 2 丹尼尔·菲什曼。 2 都铎Jebelean 2 豪尔赫·洛博 2 唐纳德·洛夫兰。 2 詹姆斯·麦克斯基明(James R.McSkimin)。 2 Stickel,Mark E。 2 王铁成 1 萨尔瓦多阿布雷乌 1 何塞·朱利奥·阿尔弗雷斯 1 安德烈亚·阿斯佩蒂 1 奇塔·R·巴拉尔。 1 马可·贝利亚 1 贝莱德·本哈莫 1 伍德罗·W·布莱索。 1 玛丽亚·保拉(Maria Paola Bonacina) 1 约书亚·伯雷什·奥彭海姆 1 Samuel R.巴斯。 1 考斯托夫·乔杜里 1 乔瓦尼·西亚托 1 达尔,维罗妮卡 1 伊曼纽尔·德·安吉利斯 1 丹尼·德·施雷耶 1 安纳托利·伊万诺维奇·德吉亚列夫 1 帕特里克·德霍诺伊 1 罗伯特·德莫洛姆 1 丹尼尔·迪亚兹 1 拉菲·易卜拉欣 1 诺伯特·艾辛格 1 路易斯·法利尼亚斯·德尔·塞罗 1 法比奥·菲奥拉万蒂 1 约翰·加拉赫。 1 亚历山大五世(Alexander V.Gheorghiu)。 1 克里斯托夫·高尔勒 1 让·古鲍特·拉雷克 1 雷纳·哈内尔 1 约瑟夫·霍顿。 1 井上,Katsumi 1 米科拉什·亚诺塔 1 詹·约翰森 1 Khotimchuk,K.Ju。 1 菲利普·科纳 1 罗伯特·A·科瓦尔斯基。 1 唐纳德·奎纳 1 莱茨,莱因霍尔德 1 Michael Leuschel先生 1 朱塞佩·隆戈 1 格格利·卢卡西 1 阿卜杜拉希姆·马尔祖克 1 马里奥·梅恩德斯·洛霍 1 埃莉亚娜·米尼科齐 1 路易斯·莫尼兹·佩雷拉 1 J Strother摩尔 1 何塞·弗朗西斯科·莫拉莱斯 1 尼尔·V·默里。 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 罗伯特·纽文胡斯 1 汉斯·尤根·奥巴赫 1 阿琳·佩斯 1 阿尔贝托·佩特罗西 1 弗兰克·芬宁 1 托尼安·皮塔西 1 大卫·艾伦(David Alan),Plaisted 1 阿克塞尔·普雷克林 1 普莱斯,格雷格 1 毛里齐奥·普罗埃蒂 1 大卫·J·派姆。 1 阿科特·拉贾塞卡尔。 1 大卫·W·里德。 1 雷蒙德·雷特 1 埃里克·J·罗森塔尔。 1 拉赫达尔·塞伊斯 1 亚历山大·谢列布雷尼克 1 罗伯特·肖斯塔克(Robert E.Shostak)。 1 布鲁斯·斯宾塞。 1 斯特拉图拉特,索林 1 佩特尔·塞雷迪 1 恩里科·塔西 1 瓦迪姆·尼古拉埃维奇·瓦金 1 范·盖尔德,艾伦 1 安德烈·维尔利诺 1 玛丽莎·文丘里尼·齐利 1 卡洛斯·维加斯·达马西奥 1 劳伦特·维埃勒 1 安德烈·沃伦科夫 1 Wielemaker,简 1 杰拉尔德·威尔逊。 1 盖伊,扎农 1 Gerson扎维鲁查 全部的 前5名19篇连载文章中引用 10 人工智能 10 自动推理杂志 4 理论计算机科学 4 符号计算杂志 三 逻辑程序设计理论与实践 2 国际计算机与信息科学杂志 2 Studia Logica公司 2 数学与人工智能年鉴 2 可满足性、布尔建模与计算杂志 1 离散应用数学 1 信息处理信件 1 模糊集与系统 1 符号逻辑杂志 1 新一代计算 1 计算的形式方面 1 机器学习 1 RAIRO公司。Informatique Théorique et Applications公司 1 国际计算机与系统科学杂志 1 Revue Française d’Automatique、Informatique、Recherche Opérationnelle。红Série Rouge 在5个字段中引用 47 计算机科学(68至XX) 22 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 按年份列出的引文