编辑配置文件（在新选项卡中打开） 埃里克·德普拉涅 合著者距离 作者ID： deplagne.eric公司 发布日期： 埃里克·德普拉涅 外部链接： MGP公司 已编制索引的文档： 2出版物自2002年起 合著者： 3位合著者具有2联合出版物 78位合作作者 合著者 0 单作者的 2 克洛德·基什内尔 1 赫莱内·基什内尔 1 阮广辉 系列 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用10中的次7文件 引用人▼ 年份▼ 等式定理和归纳定理的证明搜索和验证。 Zbl 1278.68257号 埃里克·德拉涅;克洛德·基什内尔;赫莱内·基什内尔;阮广辉 6 2003 演绎与计算：归纳的例子。 Zbl 1072.68569号 埃里克·德普拉涅;克洛德·基什内尔 4 2002 等式定理和归纳定理的证明搜索和验证。 Zbl 1278.68257号 埃里克·德普拉涅;克洛德·基什内尔;赫莱内·基什内尔;阮广辉 6 2003 演绎与计算：归纳的例子。 Zbl 1072.68569号 埃里克·德普拉涅;克洛德·基什内尔 4 2002 所有引用出版物 前5名被引用出版物 全部的 前5名10位作者引用 2 克洛德·基什内尔 2 赫莱内·基什内尔 2 何塞·梅塞盖尔·瓜伊塔 2 法布里斯·纳洪 1 保罗·布劳纳 1 罗伯托·布鲁尼 1 扎卡里亚·奇哈尼 1 迈克尔·加巴伊（Michael J.Gabbay）。 1 戴尔·艾伦·米勒 1 斯特拉图拉特，索林 4篇连载文章中引用 1 理论计算机科学 1 符号计算杂志 1 数学与人工智能年鉴 1 逻辑与代数编程杂志 在2个字段中引用 7 数学逻辑和基础（03-XX） 7 计算机科学（68至XX） 按年份列出的引文