编辑配置文件（在新选项卡中打开） 李·奈什 合著者距离 作者ID： 奈什·李 发布方式： 李·奈什;L·奈什。 已编制索引的文档： 16出版物自1984年以来，包括1本书 合著者： 6位合著者具有5联合出版物 123联合作者 全部的 前5名合著者 11 单作者的 1 Jean-Louis拉塞兹 1 万豪酒店，Kim 1 伯纳德·波普 1 哈拉尔德·森德加德 1 Leon S.斯特林。 1 严、松原 全部的 前5名系列 三 逻辑程序设计杂志 三 函数与逻辑编程杂志 三 逻辑程序设计理论与实践 1 应用数学快报 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 领域 16 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用59中的次53文件 引用人▼ 年份▼ PROLOG中的否定和控制。 Zbl 0602.68006号 奈许，李 17 1986 声明性调试方案。 Zbl 0924.68125号 李·奈什 12 1997 逻辑程序的自动化控制。 Zbl 0575.68004号 李·奈什 8 1985 大多数特定的逻辑程序。 Zbl 0878.68036号 英国万豪酒店。;L·奈什。;J.-L.拉塞兹。 6 1990 逻辑程序员的三值语义。 Zbl 1122.68028号 李·奈什 6 2006 NU-PROLOG中的否定词和量词。 Zbl 0595.68006号 李·奈什 5 1986 规范\（=\，程序\，+\，类型\）。 Zbl 0631.68018号 李·奈什 2 1987 Prolog中的逐步增强和高阶编程。 Zbl 0946.68017号 李·奈什;利昂·斯特林 1 2000 逻辑编程中的真理与信息。 Zbl 1302.68053号 李·奈什;哈拉尔德·森德加德 1 2014 从挣扎到成功。 Zbl 1295.68058号 李·奈什 1 2014 逻辑编程中的真理与信息。 Zbl 1302.68053号 李·奈什;哈拉尔德·森德加德 1 2014 从挣扎到成功。 兹比尔1295.68058 李·奈什 1 2014 逻辑程序员的三值语义。 兹比尔1122.68028 李·奈什 6 2006 Prolog中的逐步增强和高阶编程。 Zbl 0946.68017号 奈许，李;利昂·斯特林 1 2000 声明性调试方案。 Zbl 0924.68125号 李·奈什 12 1997 大多数特定的逻辑程序。 Zbl 0878.68036号 英国万豪酒店。;L·奈什。;J.-L.拉塞兹。 6 1990 规范\（=\，程序\，+\，类型\）。 Zbl 0631.68018号 李·奈什 2 1987 PROLOG中的否定和控制。 Zbl 0602.68006号 李·奈什 17 1986 NU-PROLOG中的否定词和量词。 Zbl 0595.68006号 李·奈什 5 1986 逻辑程序的自动化控制。 Zbl 0575.68004号 李·奈什 8 1985 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 7 拉斐尔·卡巴列罗（Rafael E.Caballero）。 4 马丁·奥列特，纳西索 4 阿德里安·里斯科 4 阿尔贝托·维尔德乔 三 莫里斯·布鲁诺 三 莫雷诺，法拉斯基 三 李·奈什 2 玛丽亚·阿尔普特 2 科雷亚，弗朗西斯科·何塞 2 维托尔·桑托斯·科斯塔 2 丹尼·德·施雷耶 2 德拉本特，Włodzimierz 2 毛里齐奥·加布里埃利 2 约翰·加拉赫（John P.Gallagher）。 2 尤兰达加西亚·鲁伊斯 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 万豪酒店，Kim 2 何塞·弗朗西斯科·莫拉莱斯 2 卡图西亚帕拉米德斯 2 费尔南多·Sáenz-Pérez 1 萨尔瓦多阿布雷乌 1 詹姆斯·H·安德鲁斯。 1 Krzysztof Rafal公寓 1 黛米斯·巴利斯 1 霍华德·布莱尔。 1 德米特里·布朗格 1 伊丽莎白·布拉德利 1 詹姆斯·切尼 1 乔瓦尼·西亚托 1 凯文·康普顿。 1 阿戈斯蒂诺·科尔特斯 1 达尔，维罗妮卡 1 德波尔，弗兰克·S。 1 德瓦尔，D.A。 1 拉斐尔·德尔瓦多·维塞达 1 亚瑟·德尔彻。 1 丹尼尔·迪亚兹 1 梅赫迈特·丁卡斯 1 Tanveer A.Faruquie。 1 马里奥弗洛里多 1 古川县 1 迈克尔·哈纳斯 1 阿波罗·霍根 1 斯特芬·Hölldobler 1 雅各布·M·豪。 1 萨钦德拉·乔希 1 比肖克桑·卡夫 1 坎查纳苏特，坎查纳 1 西蒙·卡西夫 1 Kencana Ramli、Carroline Dewi Puspa 1 国王，安迪 1 马克西米利亚诺·克莱门 1 菲利普·科纳 1 加布里埃尔·M·库珀。 1 Jean-Louis拉塞兹 1 波杜因勒·沙利埃 1 Michael Leuschel先生 1 Tokwang岭 1 约翰·怀利·劳埃德 1 佩德罗·洛佩兹·加西亚 1 英格丽·路易杰斯 1 卢克斯，沃尔夫冈 1 朱利奥·马里诺 1 肯尼思·麦卡龙 1 莫雷诺·纳瓦罗，胡安·何塞 1 苏珊娜·穆尼奥斯·亨德斯 1 罗兰·奥尔森 1 克利须那五世·帕勒姆。 1 肯尼思·佩里。 1 安德烈亚斯·波德尔斯基 1 科塔吉里·拉马莫哈纳劳 1 约翰·W·罗奇。 1 马里奥·罗德里格斯-阿塔莱霍 1 萨宾娜·罗西 1 亚历克西斯·索林 1 赫尔穆特·西蒙尼斯 1 格特·斯莫尔卡 1 佐尔坦·索莫吉 1 哈拉尔德·森德加德 1 阿什温·斯里尼瓦桑 1 莱因哈德·斯托勒 1 彼得·詹姆斯·斯塔基 1 苏布拉曼尼亚，V.S。 1 Swift，Terrance公司 1 Jayen，Vaghani 1 帕斯卡·范·亨特利克 1 克里斯托夫·弗沙埃茨 1 劳伦特·维埃勒 1 莱恩·特里·沃森 1 Wielemaker，简 全部的 前5名13篇连载文章中引用 8 理论计算机科学 6 新一代计算 6 逻辑程序设计理论与实践 三 自动推理杂志 2 人工智能 2 符号计算杂志 2 逻辑与代数程序设计杂志 1 比特币 1 国际并行程序设计杂志 1 信息与计算 1 机器学习 1 数学与人工智能年鉴 1 ACM计算逻辑事务 在3个字段中引用 53 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文