编辑配置文件（在新选项卡中打开） 阿兰·邦迪 合著者距离 作者ID： 邦迪·艾伦 发布日期： 阿兰·邦迪；A.邦迪。 外部链接： 管理程序·维基数据·数据库许可证·ID参考 已编制索引的文档： 79出版物自1972年以来，包括2本书 2作为编辑的贡献 合著者： 59位合著者具有60联合出版物 923合作作者 全部的 前5名合著者 20 单作者的 9 格林，伊恩 8 马蒂亚·贾姆尼克 7 爱尔兰，安德鲁 7 阿兰·斯梅尔 6 范·哈梅伦，弗兰克 5 丹尼尔·温特斯坦 4 贾尼契奇，普雷德拉格 4 托比·沃尔什 三 丹尼斯，路易斯·阿比盖尔 三 卢卡斯·狄克逊 三 古德蒙德·格罗夫 三 科林·古尔（Corin A.Gurr）。 三 穆阿·约翰逊 三 理查德·奥基夫。 三 西尔弗，伯纳德 三 格雷厄姆·斯蒂尔 三 Leon S.斯特林。 2 David A.Basin。 2 劳伦斯·伯德 2 福斯托·金奇利亚 2 简·赫斯基 2 刘伟儒 2 劳尔·蒙罗伊 2 艾莉森·皮斯 2 丹尼尔·拉吉 2 朱利安·理查森 2 安德鲁·史蒂文斯 1 Jonathan A.Abourbih。 1 亚历山德罗·阿曼多 1 迈克尔·弗朗西斯（Michael Francis Atiyah） 1 卢克·布兰尼 1 理查德·博尔顿。 1 西蒙·科尔顿 1 理查德·J·法特曼。 1 安德鲁·福加德 1 贾森·加拉赫 1 杰里米·高 1 霍恩，克里斯蒂安 1 迪特尔·赫特 1 伊娜·克拉恩 1 约翰·莱文 1 林玉辉 1 安格斯·约翰·麦金太尔 1 唐纳德·麦肯齐 1 埃文·麦克林 1 彼得·麦登（Peter E.Madden）。 1 莫妮卡·迈德尔 1 阿利斯泰尔·曼宁 1 罗伊·麦卡斯兰德。 1 麦克莱恩，R.G.D。 1 菲奥娜·麦克尼尔 1 夸贝纳，努阿马 1 亚历克斯·努斯 1 戴夫·普卢默 1 罗伯托·塞巴斯蒂亚尼 1 帕特里克·弗莱明·史密斯 1 阿道夫·维拉菲奥里塔 1 鲍勃·韦勒姆 1 乔恩·惠特尔 全部的 前5名系列 11 自动推理杂志 6 人工智能 三 数学与人工智能年鉴 2 国际近似推理杂志 2 计算的形式方面 2 伦敦皇家学会哲学汇刊。系列A.数学、物理和工程科学 1 ACM数学软件汇刊 1 圣母院形式逻辑杂志 1 SIGSAM公告 1 理论计算机科学 1 符号计算杂志 1 逻辑、语言与信息杂志 1 国际人类计算机研究杂志 1 函数编程杂志 1 伦敦皇家学会会刊。系列A.数学、物理和工程科学 1 剑桥理论计算机科学丛书 1 计算机科学课堂讲稿 1 计算机科学中的数学 全部的 前5名领域 73 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 9 总体主题；集合（00-XX） 三 数值分析（65-XX） 三 信息与通信理论、电路（94-XX） 1 场论和多项式（12-XX） 1 粒子和系统力学（70-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 57出版物有被引用414中的次250文件 引用人▼ 年份▼ 使用明确的计划来指导归纳证明。 Zbl 0656.68106号 阿兰·邦迪 40 1988 在归纳证明中对失败的有效利用。 Zbl 0847.68103号 爱尔兰，安德鲁；阿兰·邦迪 34 1996 Rippling：引导归纳证明的启发式方法。 Zbl 0789.68121号 阿兰·邦迪；安德鲁·史蒂文斯；范·哈梅伦，弗兰克；爱尔兰，安德鲁；阿兰·斯梅尔 33 1993 乱流。数学推理的元级指导。 Zbl 1095.68108号 阿兰·邦迪；戴维·巴恩斯；迪特尔·赫特；爱尔兰，安德鲁 30 2005 数学归纳法证明的自动化。 Zbl 0994.03007号 阿兰·邦迪 29 2001 数学推理的计算机建模。 兹伯利0541.68067 阿兰·邦迪 21 1983 归纳理论的猜想综合。 Zbl 1243.68268号 穆阿·约翰逊；卢卡斯·狄克逊；阿兰·邦迪 20 2011 OYSTER-CLAM系统。 Zbl 1509.68299号 阿兰·邦迪；范·哈梅伦，弗兰克；霍恩，克里斯蒂安；阿兰·斯梅尔 18 1990 关联演算：一种概率推理机制。 Zbl 0615.68067号 阿兰·邦迪 16 1985 归纳法验证计划的实验。 Zbl 0733.68069号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔 12 1991 关于自动数学发现中的兴趣概念。 Zbl 1011.68621号 西蒙·科尔顿；阿兰·邦迪；托比·沃尔什 10 2000 基于解释的概括（=）部分评估。 Zbl 0655.68106号 范·哈梅伦，弗兰克；阿兰·邦迪 9 1988 用于指导归纳证明的涟漪式策略的扩展。 Zbl 1509.68300号 阿兰·邦迪；范·哈梅伦，弗兰克；阿兰·斯梅尔；爱尔兰，安德鲁 9 1990 杜德尔博士：图解定理证明器。 Zbl 1126.68584号 丹尼尔·温特斯坦；阿兰·邦迪；古尔，科林 8 2004 关于自动进行算术参数的图解证明。 Zbl 0941.03008号 马蒂亚·贾姆尼克；阿兰·邦迪；格林，伊恩 7 1999 使用证明计划求级数的和。 Zbl 0925.03072号 托比·沃尔什；亚历克斯·努斯；阿兰·邦迪 7 1992 递归分析的合理重构和扩展。 Zbl 0708.68061号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔；安德鲁·史蒂文斯 7 1989 利用关联演算进行不确定推理的一些算法的正确性准则。 Zbl 0642.68178号 阿兰·邦迪 6 1986 在皇家学会“数学证明的本质”讨论会上所做的其他演讲摘要。 Zbl 1152.03303号 阿兰·邦迪；唐纳德·麦肯齐；迈克尔·阿提亚；安格斯·麦金太尔 6 2005 综合和归纳的中间推理。 Zbl 0847.68104号 伊娜·克拉恩；戴维·巴恩斯；阿兰·邦迪 6 1996 波纹和感应防护的案例分析。 Zbl 1291.68352号 穆阿·约翰逊；卢卡斯·狄克逊；阿兰·邦迪 6 2010 使用省略号证明列表。 Zbl 0938.03017号 阿兰·邦迪；朱利安·理查森 5 1999 将对抗性计划技术应用于围棋。 Zbl 0962.91011号 威尔莫特，S。；J·理查森。；A.邦迪。；J.莱文。 5 2001 灵活组合和增强决策过程的一般设置。 Zbl 1003.03012号 贾尼契奇，普雷德拉格；阿兰·邦迪 4 2002 自动扣除调查。 Zbl 0947.03011号 阿兰·邦迪 4 1999 自动定理证明器：工作数学家的实用工具？ Zbl 1237.68177号 阿兰·邦迪 4 2011 确定数学定理。 Zbl 1273.68324号 罗伊·麦卡斯兰德。；阿兰·邦迪；帕特里克·史密斯。 4 2006 使用元级推理在代数操作中选择性应用多个重写规则。 兹伯利0438.68041 阿兰·邦迪；鲍勃·韦勒姆 4 1980 抽象证明检查：由不完全性定理驱动的示例。 Zbl 0890.03004号 阿兰·邦迪；福斯托·金奇利亚；阿道夫·维拉菲奥里塔；托比·沃尔什 4 1997 自动扣除–CADE-12。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。 Zbl 0875.00063号 三 1994 使用累积参数自动验证功能。 Zbl 0940.68023号 爱尔兰，安德鲁；阿兰·邦迪 三 1999 一些规则学习程序的分析比较。 Zbl 0583.68043号 阿兰·邦迪；西尔弗，伯纳德；戴夫·普卢默 三 1985 什么是证据？ Zbl 1152.00305号 阿兰·邦迪；马蒂亚·贾姆尼克；安德鲁·福加德 三 2005 走向物理学中的本体论进化。 Zbl 1155.68521号 阿兰·邦迪；迈克尔·陈 三 2008 使用泛化批评家为共推证明寻找互模拟。 Zbl 1430.68399号 路易斯·丹尼斯；阿兰·邦迪；格林，伊恩 三 1997 对校对计划的批评。 Zbl 1012.68180号 阿兰·邦迪 2 2002 在图解定理证明中使用动画。 Zbl 1049.68122号 丹尼尔·温特斯坦；阿兰·邦迪；科林·古尔；马蒂亚·贾姆尼克 2 2002 图解逻辑和代数逻辑的实验比较。 兹比尔1091.68597 丹尼尔·温特斯坦；阿兰·邦迪；科林·古尔；马蒂亚·贾姆尼克 2 2004 一个广义区间包及其在语义检查中的应用。 Zbl 0548.65039号 阿兰·邦迪 2 1984 计算关键性。 Zbl 0906.68138号 A.邦迪。；金奇利亚，F。；R·塞巴斯蒂亚尼。；T·沃尔什。 2 1996 推理科学。（扩展摘要）。 Zbl 0913.03022号 阿兰·邦迪 2 1998 关联演算的赋值方法。 Zbl 0820.68114号 麦克莱恩，R.G。；A.邦迪。；刘伟（Liu，W.）。 1 1995 评论：用PRESS求解符号方程。 Zbl 0651.68042号 父亲理查德；阿兰·邦迪；理查德·奥基夫；利昂·斯特林 1 1988 通过驳斥不正确的归纳推测攻击组协议。 Zbl 1134.94378号 格雷厄姆·斯蒂尔；阿兰·邦迪 1 2006 CCS中方程的规划证明。 Zbl 1034.68646号 劳尔·蒙罗伊；阿兰·邦迪；格林，伊恩 1 2000 普雷斯伯格算法中决策程序的比较。 Zbl 1014.03504号 贾尼契奇，普雷德拉格；格林，伊恩；阿兰·邦迪 1 1997 在连续域中自动进行图表推理的建议。 Zbl 0973.68544号 丹尼尔·温特斯坦；阿兰·邦迪；马蒂亚·贾姆尼克 1 2000 有效利用未能从不同的证明尝试中为造假提供证人的情况。 Zbl 1001.68128号 洛杉矶丹尼斯。；A.邦迪。；我是格林。 1 2000 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格；阿兰·邦迪；格林，伊恩 1 1999 关于自动进行算术参数的图解证明。 Zbl 1009.68110号 马蒂亚·贾姆尼克；阿兰·邦迪；格林，伊恩 1 2002 它会到达顶端吗？力学界的预测。 Zbl 0376.70001号 阿兰·邦迪 1 1978 通过驳斥不正确的归纳猜想来攻击组密钥协商协议。 Zbl 1126.68579号 格雷厄姆·斯蒂尔；阿兰·邦迪；少女，Monika 1 2004 逻辑理论中的自动签名进化。 Zbl 1166.68356号 阿兰·邦迪 1 2008 半自动猜测的单有效数字演算。 Zbl 1291.68315号 Jonathan A.Abourbih。；卢克·布兰尼；阿兰·邦迪；菲奥娜·麦克尼尔 1 2010 关于真实平面和物理平面之间的差异。 Zbl 1091.68666号 丹尼尔·温特斯坦；阿兰·邦迪；马蒂亚·贾姆尼克 1 2004 在离散数学中自动改变证明的表示（扩展版）。 Zbl 1409.68261号 丹尼尔·拉吉；阿兰·邦迪；古德蒙德·格罗夫；艾莉森·皮斯 1 2016 在离散数学中自动改变证明的表示。 兹比尔1409.68260 丹尼尔·拉吉；阿兰·邦迪；古德蒙德·格罗夫；艾莉森·皮斯 1 2015 在离散数学中自动改变证明的表示（扩展版）。 Zbl 1409.68261号 丹尼尔·拉吉；阿兰·邦迪；古德蒙德·格罗夫；艾莉森·皮斯 1 2016 在离散数学中自动改变证明的表示。 兹比尔1409.68260 丹尼尔·拉吉；阿兰·邦迪；古德蒙德·格罗夫；艾莉森·皮斯 1 2015 归纳理论的猜想综合。 Zbl 1243.68268号 穆阿·约翰逊；卢卡斯·狄克逊；阿兰·邦迪 20 2011 自动定理证明器：工作数学家的实用工具？ Zbl 1237.68177号 阿兰·邦迪 4 2011 波纹和感应防护的案例分析。 Zbl 1291.68352号 穆阿·约翰逊；卢卡斯·狄克逊；阿兰·邦迪 6 2010 半自动猜测的单有效数字演算。 Zbl 1291.68315号 Jonathan A.Abourbih。；卢克·布兰尼；阿兰·邦迪；菲奥娜·麦克尼尔 1 2010 走向物理学中的本体论进化。 Zbl 1155.68521号 阿兰·邦迪；迈克尔·陈 三 2008 逻辑理论中的自动签名进化。 Zbl 1166.68356号 阿兰·邦迪 1 2008 确定数学定理。 兹比尔1273.68324 罗伊·麦卡斯兰德。；阿兰·邦迪；帕特里克·史密斯。 4 2006 通过驳斥不正确的归纳推测攻击组协议。 Zbl 1134.94378号 格雷厄姆·斯蒂尔；阿兰·邦迪 1 2006 乱流。数学推理的元级指导。 Zbl 1095.68108号 阿兰·邦迪；戴维·巴恩斯；迪特尔·赫特；爱尔兰，安德鲁 30 2005 在皇家学会“数学证明的本质”讨论会上所做的其他演讲摘要。 Zbl 1152.03303号 阿兰·邦迪；唐纳德·麦肯齐；迈克尔·阿提亚；安格斯·麦金太尔 6 2005 什么是证据？ Zbl 1152.00305号 阿兰·邦迪；马蒂亚·贾姆尼克；安德鲁·福加德 三 2005 杜德尔博士：图解定理证明器。 Zbl 1126.68584号 丹尼尔·温特斯坦；阿兰·邦迪；科林·古尔 8 2004 图解逻辑和代数逻辑的实验比较。 兹比尔1091.68597 丹尼尔·温特斯坦；阿兰·邦迪；古尔，科林；马蒂亚·贾姆尼克 2 2004 通过驳斥不正确的归纳猜想来攻击组密钥协商协议。 Zbl 1126.68579号 格雷厄姆·斯蒂尔；阿兰·邦迪；莫妮卡·迈德尔 1 2004 关于真实平面和物理平面之间的差异。 Zbl 1091.68666号 丹尼尔·温特斯坦；阿兰·邦迪；马蒂亚·贾姆尼克 1 2004 灵活组合和增强决策过程的一般设置。 Zbl 1003.03012号 贾尼契奇，普雷德拉格；阿兰·邦迪 4 2002 对校对计划的批评。 Zbl 1012.68180号 阿兰·邦迪 2 2002 在图解定理证明中使用动画。 Zbl 1049.68122号 丹尼尔·温特斯坦；阿兰·邦迪；科林·古尔；马蒂亚·贾姆尼克 2 2002 关于自动进行算术参数的图解证明。 Zbl 1009.68110号 马蒂亚·贾姆尼克；阿兰·邦迪；格林，伊恩 1 2002 通过数学归纳进行证明的自动化。 Zbl 0994.03007号 阿兰·邦迪 29 2001 运用对抗性计划技巧进行围棋。 Zbl 0962.91011号 威尔莫特，S。；J·理查森。；A.邦迪。；J.莱文。 5 2001 关于自动数学发现中的兴趣概念。 Zbl 1011.68621号 西蒙·科尔顿；阿兰·邦迪；托比·沃尔什 10 2000 CCS中方程的规划证明。 Zbl 1034.68646号 劳尔·蒙罗伊；阿兰·邦迪；格林，伊恩 1 2000 在连续域中自动进行图表推理的建议。 Zbl 0973.68544号 丹尼尔·温特斯坦；阿兰·邦迪；马蒂亚·贾姆尼克 1 2000 有效利用未能从不同的证明尝试中为造假提供证人的情况。 Zbl 1001.68128号 洛杉矶丹尼斯。；A.邦迪。；我是格林。 1 2000 关于自动进行算术参数的图解证明。 Zbl 0941.03008号 马蒂亚·贾姆尼克；阿兰·邦迪；格林，伊恩 7 1999 关于使用省略号的列表的校对。 Zbl 0938.03017号 阿兰·邦迪；朱利安·理查森 5 1999 自动扣除调查。 Zbl 0947.03011号 阿兰·邦迪 4 1999 使用累积参数自动验证功能。 Zbl 0940.68023号 爱尔兰，安德鲁；阿兰·邦迪 三 1999 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格；阿兰·邦迪；格林，伊恩 1 1999 推理科学。（扩展摘要）。 Zbl 0913.03022号 阿兰·邦迪 2 1998 抽象证明检查：由不完全性定理驱动的示例。 Zbl 0890.03004号 阿兰·邦迪；福斯托·金奇利亚；阿道夫·维拉菲奥里塔；托比·沃尔什 4 1997 使用泛化批评家为共推证明寻找互模拟。 Zbl 1430.68399号 路易斯·丹尼斯；阿兰·邦迪；格林，伊恩 三 1997 普雷斯伯格算法中决策程序的比较。 Zbl 1014.03504号 贾尼契奇，普雷德拉格；格林，伊恩；阿兰·邦迪 1 1997 在归纳证明中对失败的有效利用。 Zbl 0847.68103号 爱尔兰，安德鲁；阿兰·邦迪 34 1996 综合和归纳的中间推理。 Zbl 0847.68104号 伊娜·克拉恩；戴维·巴恩斯；阿兰·邦迪 6 1996 计算关键性。 Zbl 0906.68138号 A.邦迪。；金奇利亚，F。；R·塞巴斯蒂亚尼。；沃尔什，T。 2 1996 关联演算的赋值方法。 Zbl 0820.68114号 麦克莱恩，R.G。；A.邦迪。；刘伟（Liu，W.）。 1 1995 自动扣除–CADE-12。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。 Zbl 0875.00063号 三 1994 Rippling：引导归纳证明的启发式方法。 Zbl 0789.68121号 阿兰·邦迪；安德鲁·史蒂文斯；范·哈梅伦，弗兰克；爱尔兰，安德鲁；阿兰·斯梅尔 33 1993 使用证明计划求级数的和。 Zbl 0925.03072号 托比·沃尔什；亚历克斯·努斯；阿兰·邦迪 7 1992 归纳法验证计划的实验。 Zbl 0733.68069号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔 12 1991 OYSTER-CLAM系统。 Zbl 1509.68299号 阿兰·邦迪；范·哈梅伦，弗兰克；霍恩，克里斯蒂安；阿兰·斯梅尔 18 1990 对引导归纳证明的波纹策略的扩展。 Zbl 1509.68300号 阿兰·邦迪；范·哈梅伦，弗兰克；阿兰·斯梅尔；爱尔兰，安德鲁 9 1990 递归分析的合理重构和扩展。 Zbl 0708.68061号 阿兰·邦迪；范·哈梅伦，弗兰克；简·赫斯基；阿兰·斯梅尔；安德鲁·史蒂文斯 7 1989 使用明确的计划来指导归纳证明。 Zbl 0656.68106号 阿兰·邦迪 40 1988 基于解释的概括（=）部分评估。 Zbl 0655.68106号 范·哈梅伦，弗兰克；阿兰·邦迪 9 1988 评论：用PRESS求解符号方程。 Zbl 0651.68042号 父亲理查德；阿兰·邦迪；运营；理查德·基夫；利昂·斯特林 1 1988 利用关联演算进行不确定推理的一些算法的正确性准则。 Zbl 0642.68178号 阿兰·邦迪 6 1986 关联演算：一种概率推理机制。 兹比尔0615.68067 阿兰·邦迪 16 1985 一些规则学习程序的分析比较。 Zbl 0583.68043号 阿兰·邦迪；西尔弗，伯纳德；戴夫·普卢默 三 1985 广义区间包及其用于语义检查。 Zbl 0548.65039号 阿兰·邦迪 2 1984 数学推理的计算机建模。 Zbl 0541.68067号 阿兰·邦迪 21 1983 使用元级推理在代数操作中选择性应用多个重写规则。 Zbl 0438.68041号 阿兰·邦迪；鲍勃·韦勒姆 4 1980 它会到达顶端吗？力学界的预测。 Zbl 0376.70001号 阿兰·邦迪 1 1978 所有引用出版物 前5名被引用出版物 全部的 前5名416位作者引用 23 阿兰·邦迪 7 迪特尔·赫特 7 穆阿·约翰逊 5 吉尔根·吉斯尔 5 爱尔兰，安德鲁 5 马蒂亚·贾姆尼克 5 都铎Jebelean 5 艾丽卡·梅利斯 5 阿兰·斯梅尔 4 David A.Basin。 4 伊曼纽尔·德·安吉利斯 4 卢卡斯·狄克逊 4 mnesc博士，Isabela 4 法比奥·菲奥拉万蒂 4 斯特凡·赫兹尔 4 亚历山大·莱奇 4 尼古拉斯·佩尔蒂埃 4 毛里齐奥·普罗埃蒂 4 谢克曼，Jörg H。 4 托比·沃尔什 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 科恩·克莱森 三 卡斯滕·福斯 三 格林，伊恩 三 曼弗雷德·科伯 三 托马斯·科尔贝。 三 刘伟儒 三 埃文·麦克林 三 阿尔贝托·佩特罗西 三 尼古拉斯·斯莫尔博内 三 斯台普顿，宝石 三 斯特拉图拉特，索林 三 范·哈梅伦，弗兰克 三 克里斯托夫·沃尔特 2 谢尔盖·奥特西尔 2 弗朗索瓦·布隆萨德 2 里卡多·卡费拉 2 雅克·卡雷特 2 西蒙·科尔顿 2 罗伯托·孔瓦洛尼埃里 2 穆萨·登巴 2 丹尼斯，路易斯·阿比盖尔 2 曼弗雷德·埃普 2 Farmer，William M。 2 安德鲁·费什 2 雅克·弗莱里奥特。 2 格哈德·弗里德里希（Gerhard E.Friedrich）。 2 西尔维奥·吉拉尔迪 2 福斯托·金奇利亚 2 古德蒙德·格罗夫 2 雅辛·哈马米 2 罗伯特·哈斯克（Robert W.Hasker）。 2 巴斯蒂安·海仁 2 乔纳森·赫拉斯 2 简·赫斯基 2 黄晓荣 2 约翰·杰林 2 Cezary卡利西克 2 迈克尔·科尔哈斯 2 叶卡捷琳娜·科门丹茨卡亚 2 伊曼纽尔·库纳利斯 2 科瓦奇，劳拉·伊尔迪科 2 伊娜·克拉恩 2 伊万·克拉莫西尔 2 萨里特·克劳斯 2 泽农库尔帕 2 奥利弗·库茨 2 林玉辉 2 阿列克谢·利西萨（Alexei P.Lisitsa）。 2 海科·曼特尔 2 安德烈亚斯·梅耶 2 杰弗里·布鲁斯，巴黎 2 分手，迈克尔 2 Enric广场 2 安德烈·波佩斯库 2 马丁·普罗岑 2 大卫·J·派姆。 2 美国雷迪。 2 吉赛尔·雷斯 2 丹·罗森 2 阿克塞尔·谢尔 2 彼得·施奈德·坎普 2 马尔科·舍勒默 2 克劳斯·森格勒 2 斯威德斯基，斯蒂芬 2 德米特里·特拉泰尔 2 约瑟夫·乌尔班 2 马特伊·乌尔巴斯 2 Janis Voigtlander公司 2 王路生 2 丹尼尔·韦勒（Daniel S.Weller）。 2 沃尔夫冈·温斯特伊格 2 Wong，S.K.迈克尔 2 姚一玉 1 Jonathan A.Abourbih。 1 安德鲁·亚当斯（Andrew A.Adams）。 1 马克西米利安·阿尔杰海德 1 Åman Pohjola，约翰内斯 1 Daniela A.阿马托。 1 库尔特·阿蒙 …还有316位作者 全部的 前5名54篇连载文章中引用 33 自动推理杂志 31 人工智能 7 理论计算机科学 7 符号计算杂志 7 数学与人工智能年鉴 5 国际近似推理杂志 5 应用逻辑杂志 4 信息科学 4 计算的形式方面 三 国际通用系统杂志 三 纯逻辑与应用逻辑年鉴 三 国际智能系统杂志 三 系统设计中的形式化方法 三 计算机科学中的数学 2 伦敦皇家学会哲学汇刊。系列A.数学、物理和工程科学 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 符号逻辑述评 2 程序设计中的逻辑和代数方法杂志 1 计算机与数学及其应用 1 信息处理信件 1 数学物理中的字母 1 理论和计算流体动力学 1 应用数学与计算 1 凯贝内提卡 1 编程和计算机软件 1 Studia Logica公司 1 合成 1 计算机科学与技术杂志 1 信息与计算 1 应用数学快报 1 人工智能通信 1 机器学习 1 杰泰。实验与理论人工智能杂志 1 神经计算 1 计算几何 1 线性代数及应用 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 函数编程杂志 1 人工智能研究杂志 1 不等式与应用杂志 1 LMS计算与数学杂志 1 科学基础 1 数学逻辑杂志 1 国际不确定性、模糊性和基于知识的系统杂志 1 计算机语言、系统和结构 1 ACM计算逻辑汇刊 1 Oberwolfach报告 1 泛逻辑 1 形式化推理杂志 1 开放数学 1 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 全部的 前5名30个领域被引用 221 计算机科学（68至XX） 83 数学逻辑和基础（03-XX） 11 总体主题；集合（00-XX） 5 数值分析（65-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 信息与通信理论、电路（94-XX） 三 几何图形（51至XX） 三 运筹学、数学规划（90-XX） 2 历史和传记（01-XX） 2 阶、格、有序代数结构（06-XX） 2 一般代数系统（08-XX） 2 数论（11-XX） 2 范畴理论；同调代数（18-XX） 2 实函数（26年X月X日） 2 概率论与随机过程（60-XX） 2 量子理论（81-XX） 1 组合数学（05-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 1 测量和集成（28-XX） 1 特殊功能（33至XX） 1 偏微分方程（35-XX） 1 近似和展开（41至XX） 1 欧氏空间的调和分析（42至XX） 1 粒子和系统力学（70-XX） 1 流体力学（76-XX） 1 系统论；控制（93至XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.