编辑配置文件(在新选项卡中打开) 李·奈什 合著者距离 作者ID: 奈什·李 发布日期: 李·奈什;L·奈什。 编入索引的文档: 16出版物自1984年以来,包括1本书 合著者: 6位合著者具有5份联合出版物 123位Co-Co作者 全部的 前5名合著者 11 单作者的 1 Jean-Louis拉塞兹 1 金·万豪酒店 1 伯纳德·波普 1 哈拉尔德·森德加德 1 Leon S.斯特林。 1 严、松原 全部的 前5名系列 三 逻辑程序设计杂志 三 函数与逻辑程序设计杂志 三 逻辑程序设计理论与实践 1 应用数学快报 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 字段 16 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用57中的次51文件 引用人▼ 年份▼ PROLOG中的否定和控制。 Zbl 0602.68006号 李·奈什 16 1986 一种声明性调试方案。 Zbl 0924.68125号 李·奈什 11 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 从挣扎到成功。 兹比尔1295.68058 李·奈什 1 2014 逻辑编程中的真理与信息。 Zbl 1302.68053号 奈许,李;哈拉尔德·森德加德 1 2014 Prolog中的逐步增强和高阶编程。 Zbl 0946.68017号 李·奈什;利昂·斯特林 1 2000 从挣扎到成功。 兹比尔1295.68058 李·奈什 1 2014 逻辑编程中的真理与信息。 Zbl 1302.68053号 李·奈什;哈拉尔德·森德加德 1 2014 逻辑程序员的三值语义。 兹比尔1122.68028 李·奈什 6 2006 Prolog中的逐步增强和高阶编程。 Zbl 0946.68017号 李·奈什;莱昂·斯特林 1 2000 声明性调试方案。 Zbl 0924.68125号 李·奈什 11 1997 大多数特定的逻辑程序。 Zbl 0878.68036号 英国万豪酒店。;L·奈什。;J.-L.拉塞兹。 6 1990 规范\(=\,程序\,+\,类型\)。 Zbl 0631.68018号 李·奈什 2 1987 PROLOG中的否定和控制。 Zbl 0602.68006号 李·奈什 16 1986 NU-PROLOG中的否定词和量词。 Zbl 0595.68006号 李·奈什 5 1986 逻辑程序的自动化控制。 Zbl 0575.68004号 李·奈什 8 1985 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 7 拉斐尔·E·卡巴列罗。 4 马丁·奥列特,纳西索 4 阿德里安·里斯科 4 阿尔贝托·维尔德霍 三 莫里斯·布吕诺格 三 李·奈什 2 维托尔·桑托斯·科斯塔 2 丹尼·德·施雷耶 2 德拉本特,Włodzimierz 2 莫雷诺,法拉斯基 2 毛里齐奥·加布里埃利 2 约翰·加拉赫(John P.Gallagher)。 2 加西亚·鲁伊斯,约兰达 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 金·万豪酒店 2 何塞·弗朗西斯科·莫拉莱斯 2 卡图西亚帕拉米德斯 2 费尔南多·Sáenz-Pérez 1 萨尔瓦多阿布雷乌 1 玛丽亚·阿尔普特 1 詹姆斯·H·安德鲁斯。 1 Krzysztof Rafal公寓 1 黛米斯·巴利斯 1 霍华德·布莱尔。 1 德米特里·布朗格 1 伊丽莎白·布拉德利 1 詹姆斯·切尼 1 乔瓦尼·西亚托 1 凯文·康普顿。 1 科雷亚,弗朗西斯科·何塞 1 阿戈斯蒂诺·科尔特斯 1 维罗妮卡·达尔 1 德波尔(Frank S。 1 德瓦尔,D.A。 1 拉斐尔·德尔瓦多·维塞达 1 亚瑟·德尔彻。 1 丹尼尔·迪亚兹 1 梅赫迈特·丁卡斯 1 Tanveer A.Faruquie。 1 马里奥弗洛里多 1 古川县 1 迈克尔·哈纳斯 1 阿波罗·霍根 1 斯特芬·Hölldobler 1 Sachindra乔希 1 比肖克桑·卡夫 1 坎查纳苏特,坎查纳 1 西蒙·卡西夫 1 Kencana Ramli、Carroline Dewi Puspa 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篇连载文章中引用 7 理论计算机科学 6 新一代计算 6 逻辑程序设计理论与实践 三 自动推理杂志 2 人工智能 2 符号计算杂志 2 逻辑与代数程序设计杂志 1 比特币 1 国际并行程序设计杂志 1 信息与计算 1 机器学习 1 数学与人工智能年鉴 1 ACM计算逻辑事务 在3个字段中引用 51 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文