编辑配置文件（在新选项卡中打开） 阿兰·邦迪 合著者距离 作者ID： 邦迪亚伦 发布日期： 阿兰·邦迪;A.邦迪。 外部链接： MGP公司·维基数据·数据库许可证·ID参考 已编制索引的文档： 79出版物自1972年以来，包括2本书 2作为编辑的贡献 合著者： 59位合著者具有60联合出版物 923合作作者 全部的 前5名合著者 20 单作者的 9 格林，伊恩 8 马蒂亚·贾姆尼克 7 爱尔兰，安德鲁 7 阿兰·斯梅尔 6 范·哈梅伦，弗兰克 5 丹尼尔·温特斯坦 4 贾尼契奇，普雷德拉格 4 托比·沃尔什 3 Louise Abigail丹尼斯 3 卢卡斯·狄克逊 3 古德蒙德·格罗夫 3 科林·古尔（Corin A.Gurr）。 3 穆阿·约翰逊 3 理查德·奥基夫。 3 西尔弗，伯纳德 3 斯蒂尔，格雷厄姆 3 Leon S.斯特林。 2 David A.Basin。 2 劳伦斯·伯德 2 福斯托·朱奇利亚 2 简·赫斯基 2 刘伟如 2 劳尔·蒙罗伊 2 艾莉森·皮斯 2 丹尼尔·拉吉 2 朱利安·理查森 2 安德鲁·史蒂文斯 1 Jonathan A.Abourbih。 1 亚历山德罗·阿曼多 1 迈克尔·弗朗西斯 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 人工智能 3 数学与人工智能年鉴 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） 3 数值分析（65-XX） 3 信息与通信理论、电路（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 数学推理的计算机建模。 Zbl 0541.68067号 阿兰·邦迪 21 1983 归纳理论的猜想综合。 Zbl 1243.68268号 穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 20 2011 OYSTER-CLAM系统。 兹比尔1509.68299 阿兰·邦迪;弗兰克·范·哈梅伦;霍恩，克里斯蒂安;阿兰·斯梅尔 18 1990 关联演算：一种概率推理机制。 Zbl 0615.68067号 阿兰·邦迪 16 1985 归纳验证计划的实验。 Zbl 0733.68069号 阿兰·邦迪;范·哈梅伦，弗兰克;简·赫斯基;阿兰·斯梅尔 12 1991 关于自动数学发现中的兴趣概念。 兹比尔1011.68621 西蒙·科尔顿;阿兰·邦迪;托比·沃尔什 10 2000 基于解释的概括（=）部分评估。 Zbl 0655.68106号 范·哈梅伦，弗兰克;阿兰·邦迪 9 1988 用于指导归纳证明的涟漪式策略的扩展。 Zbl 1509.68300号 阿兰·邦迪;范·哈梅伦，弗兰克;阿兰·斯梅尔;爱尔兰，安德鲁 9 1990 杜德尔博士：图解定理证明器。 Zbl 1126.68584号 丹尼尔·温特斯坦;阿兰·邦迪;科林·古尔 8 2004 递归分析的合理重构和扩展。 Zbl 0708.68061号 阿兰·邦迪;范·哈梅伦，弗兰克;简·赫斯基;阿兰·斯梅尔;安德鲁·史蒂文斯 7 1989 使用证明计划求级数的和。 Zbl 0925.03072号 托比·沃尔什;亚历克斯·努斯;阿兰·邦迪 7 1992 关于自动进行算术参数的图解证明。 Zbl 0941.03008号 马蒂亚·贾姆尼克;阿兰·邦迪;格林，伊恩 7 1999 波纹和感应防护的案例分析。 Zbl 1291.68352号 莫阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 6 2010 利用关联演算进行不确定推理的一些算法的正确性准则。 Zbl 0642.68178号 阿兰·邦迪 6 1986 综合和归纳的中间推理。 兹伯利0847.68104 伊娜·克拉恩;戴维·巴恩斯;阿兰·邦迪 6 1996 在皇家学会“数学证明的本质”讨论会上所做的其他演讲摘要。 Zbl 1152.03303号 阿兰·邦迪;唐纳德·麦肯齐;迈克尔·阿提亚;安格斯·麦金太尔 6 2005 运用对抗性计划技巧进行围棋。 Zbl 0962.91011号 威尔莫特，S。;J·理查森。;A.邦迪。;J.莱文。 5 2001 使用省略号证明列表。 Zbl 0938.03017号 阿兰·邦迪;朱利安·理查森 5 1999 自动定理证明器：工作数学家的实用工具？ Zbl 1237.68177号 阿兰·邦迪 4 2011 确定数学定理。 Zbl 1273.68324号 罗伊·麦卡斯兰德。;阿兰·邦迪;帕特里克·史密斯。 4 2006 自动扣除调查。 Zbl 0947.03011号 阿兰·邦迪 4 1999 抽象证明检查：由不完全性定理驱动的示例。 Zbl 0890.03004号 阿兰·邦迪;福斯托·朱奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 4 1997 灵活组合和增强决策过程的一般设置。 Zbl 1003.03012号 贾尼契奇，普雷德拉格;阿兰·邦迪 4 2002 使用元级推理在代数操作中选择性应用多个重写规则。 Zbl 0438.68041号 阿兰·邦迪;鲍勃·韦勒姆 4 1980 走向物理学中的本体论进化。 Zbl 1155.68521号 阿兰·邦迪;迈克尔·陈 3 2008 使用泛化批评家为共推证明寻找互模拟。 Zbl 1430.68399号 路易斯·丹尼斯;阿兰·邦迪;格林，伊恩 3 1997 一些规则学习程序的分析比较。 Zbl 0583.68043号 阿兰·邦迪;西尔弗，伯纳德;戴夫·普卢默 3 1985 自动扣款–CADE-12。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。 Zbl 0875.00063号 3 1994 使用累积参数自动验证功能。 Zbl 0940.68023号 爱尔兰，安德鲁;阿兰·邦迪 3 1999 什么是证据？ Zbl 1152.00305号 阿兰·邦迪;马蒂亚·贾姆尼克;安德鲁·福加德 3 2005 广义区间包及其用于语义检查。 Zbl 0548.65039号 阿兰·邦迪 2 1984 推理科学。（扩展摘要）。 Zbl 0913.03022号 阿兰·邦迪 2 1998 图解逻辑和代数逻辑的实验比较。 Zbl 1091.68597号 丹尼尔·温特斯坦;阿兰·邦迪;科林·古尔;马蒂亚·贾姆尼克 2 2004 计算关键性。 Zbl 0906.68138号 A.邦迪。;金奇利亚，F。;R·塞巴斯蒂亚尼。;T·沃尔什。 2 1996 对校对计划的批评。 Zbl 1012.68180号 阿兰·邦迪 2 2002 在图解定理证明中使用动画。 Zbl 1049.68122号 丹尼尔·温特斯坦;阿兰·邦迪;科林·古尔;马蒂亚·贾姆尼克 2 2002 半自动猜测的单有效数字演算。 Zbl 1291.68315号 乔纳森·阿布比。;卢克·布兰尼;阿兰·邦迪;菲奥娜·麦克尼尔 1 2010 通过驳斥不正确的归纳猜想来攻击组密钥协商协议。 Zbl 1126.68579号 斯蒂尔，格雷厄姆;阿兰·邦迪;少女，Monika 1 2004 在离散数学中自动改变证明的表示（扩展版）。 Zbl 1409.68261号 丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 1 2016 离散数学中证明表示的自动更改。 Zbl 1409.68260号 丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 1 2015 评论：用PRESS求解符号方程。 Zbl 0651.68042号 父亲理查德;阿兰·邦迪;理查德·奥基夫;利昂·斯特林 1 1988 关联演算的赋值方法。 Zbl 0820.68114号 麦克莱恩，R.G。;A.邦迪。;刘伟（Liu，W.）。 1 1995 关于自动进行算术参数的图解证明。 Zbl 1009.68110号 马蒂亚·贾姆尼克;阿兰·邦迪;格林，伊恩 1 2002 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格;阿兰·邦迪;格林，伊恩 1 1999 在连续域中自动进行图表推理的建议。 Zbl 0973.68544号 丹尼尔·温特斯坦;阿兰·邦迪;马蒂亚·贾姆尼克 1 2000 关于真实平面和物理平面之间的差异。 Zbl 1091.68666号 丹尼尔·温特斯坦;阿兰·邦迪;贾姆尼克，马泰贾 1 2004 CCS中方程的规划证明。 Zbl 1034.68646号 劳尔·蒙罗伊;阿兰·邦迪;格林，伊恩 1 2000 Presburger算法中决策过程的比较。 Zbl 1014.03504号 贾尼契奇，普雷德拉格;格林，伊恩;阿兰·邦迪 1 1997 有效利用未能从不同的证明尝试中为造假提供证人的情况。 Zbl 1001.68128号 洛杉矶丹尼斯。;A.邦迪。;我是格林。 1 2000 逻辑理论中的签名自动演化。 Zbl 1166.68356号 阿兰·邦迪 1 2008 它会到达顶端吗？力学界的预测。 Zbl 0376.70001号 阿兰·邦迪 1 1978 通过驳斥不正确的归纳推测攻击组协议。 Zbl 1134.94378号 斯蒂尔，格雷厄姆;阿兰·邦迪 1 2006 在离散数学中自动改变证明的表示（扩展版）。 Zbl 1409.68261号 丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 1 2016 在离散数学中自动改变证明的表示。 Zbl 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号 阿兰·邦迪;迈克尔·陈 3 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号 阿兰·邦迪;马蒂亚·贾姆尼克;安德鲁·福加德 3 2005 杜德尔博士：图解定理证明器。 Zbl 1126.68584号 丹尼尔·温特斯坦;阿兰·邦迪;科林·古尔 8 2004 图解逻辑和代数逻辑的实验比较。 Zbl 1091.68597号 丹尼尔·温特斯坦;阿兰·邦迪;科林·古尔;马蒂亚·贾姆尼克 2 2004 通过驳斥不正确的归纳猜想来攻击组密钥协商协议。 Zbl 1126.68579号 斯蒂尔，格雷厄姆;阿兰·邦迪;少女，Monika 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 在连续域中自动进行图表推理的建议。 Zbl 0973.68544号 丹尼尔·温特斯坦;阿兰·邦迪;马蒂亚·贾姆尼克 1 2000 CCS中方程的规划证明。 Zbl 1034.68646号 劳尔·蒙罗伊;阿兰·邦迪;格林，伊恩 1 2000 有效利用未能从不同的证明尝试中为造假提供证人的情况。 Zbl 1001.68128号 洛杉矶丹尼斯。;A.邦迪。;我是格林。 1 2000 关于算术论证的图解证明自动化。 Zbl 0941.03008号 马蒂亚·贾姆尼克;阿兰·邦迪;格林，伊恩 7 1999 使用省略号证明列表。 兹伯利0938.03017 阿兰·邦迪;朱利安·理查森 5 1999 自动扣除调查。 Zbl 0947.03011号 阿兰·邦迪 4 1999 使用累积参数自动验证功能。 Zbl 0940.68023号 爱尔兰，安德鲁;阿兰·邦迪 3 1999 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格;阿兰·邦迪;格林，伊恩 1 1999 推理科学。（扩展摘要）。 Zbl 0913.03022号 阿兰·邦迪 2 1998 抽象证明检查：由不完全性定理驱动的示例。 Zbl 0890.03004号 阿兰·邦迪;福斯托·朱奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 4 1997 使用泛化批评家为共推证明寻找互模拟。 Zbl 1430.68399号 路易斯·丹尼斯;阿兰·邦迪;格林，伊恩 3 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号 3 1994 Rippling：引导归纳证明的启发式方法。 Zbl 0789.68121号 阿兰·邦迪;安德鲁·史蒂文斯;弗兰克·范·哈梅伦;爱尔兰，安德鲁;阿兰·斯梅尔 33 1993 使用证明计划求级数的和。 Zbl 0925.03072号 托比·沃尔什;亚历克斯·努斯;阿兰·邦迪 7 1992 归纳法验证计划的实验。 兹比尔0733.68069 阿兰·邦迪;范·哈梅伦，弗兰克;简·赫斯基;阿兰·斯梅尔 12 1991 OYSTER-CLAM系统。 兹比尔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号 阿兰·邦迪;西尔弗，伯纳德;戴夫·普卢默 3 1985 广义区间包及其用于语义检查。 兹伯利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 都铎王朝的杰贝利安人 5 艾丽卡·梅利斯 5 阿兰·斯梅尔 4 David A.Basin。 4 伊曼纽尔·德·安吉利斯 4 卢卡斯·狄克逊 4 mnesc博士，Isabela 4 法比奥·菲奥拉万蒂 4 斯特凡·赫兹尔 4 亚历山大·莱奇 4 尼古拉斯·佩尔蒂埃 4 毛里齐奥·普罗埃蒂 4 谢克曼，Jörg H。 4 托比·沃尔什 3 Benzmüller、Christoph Ewald 3 科恩·克莱森 3 卡斯滕·福斯 3 格林，伊恩 3 曼弗雷德·科伯 3 托马斯·科尔贝。 3 刘伟如 3 埃文·麦克林 3 阿尔贝托·佩特罗西 3 尼古拉斯·斯莫尔博内 3 斯台普顿，宝石 3 斯特拉图拉特，索林 3 范·哈梅伦，弗兰克 3 克里斯托夫·沃尔特 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 塞萨里·卡利西克 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 乔纳森·阿布比。 1 安德鲁·亚当斯（Andrew A.Adams）。 1 马克西米利安·阿尔盖德 1 奥曼·波霍拉，约翰内斯 1 Daniela A.阿马托。 1 库尔特·阿蒙 …还有316位作者 全部的 前5名连载54篇 33 自动推理杂志 31 人工智能 7 理论计算机科学 7 符号计算杂志 7 数学与人工智能年鉴 5 国际近似推理杂志 5 应用逻辑杂志 4 信息科学 4 计算的形式方面 3 国际通用系统杂志 3 纯逻辑与应用逻辑年鉴 3 国际智能系统杂志 3 系统设计中的形式化方法 3 计算机科学中的数学 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） 82 数学逻辑和基础（03-XX） 11 一般性和全局性主题；集合（00-XX） 5 数值分析（65-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 信息与通信理论、电路（94-XX） 3 几何图形（51至XX） 3 运筹学、数学规划（90-XX） 2 历史和传记（01-XX） 2 阶、格、有序代数结构（06-XX） 2 一般代数系统（08-XX） 2 数论（11-XX） 2 范畴理论；同调代数（18-XX） 2 实际功能（26年X月X日） 2 概率论与随机过程（60-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 量子理论（81-XX） 1 系统论；控制（93至XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.