编辑配置文件（在新选项卡中打开） 格林，伊恩 合著者距离 作者ID： 绿色的 发布日期： 格林，伊恩;我是格林。 已编制索引的文档： 11出版物自1997年起 合著者： 7合著者具有10联合出版物 153位合作作者 全部的 前5名合著者 1 单作者的 9 阿兰·邦迪 三 丹尼斯，路易斯·阿比盖尔 2 马蒂亚·贾姆尼克 2 贾尼契奇，普雷德拉格 2 劳尔·蒙罗伊 1 杰里米·高 1 阿兰·斯梅尔 系列 2 自动推理杂志 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 国际应用力学与工程杂志 领域 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用15次14文件 引用人▼ 年份▼ 关于自动进行算术参数的图解证明。 Zbl 0941.03008号 马蒂亚·贾姆尼克;阿兰·邦迪;格林，伊恩 7 1999 使用泛化批评家来寻找共推证明的互模拟。 Zbl 1430.68399号 路易斯·丹尼斯;阿兰·邦迪;格林，伊恩 三 1997 球形和圆柱形赫兹接触中的泊松比效应和临界值。 Zbl 1195.74126号 我是格林。 2 2005 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格;阿兰·邦迪;格林，伊恩 1 1999 有效利用未能从不同的证明尝试中为造假提供证人的情况。 Zbl 1001.68128号 洛杉矶丹尼斯。;A.邦迪。;我是格林。 1 2000 关于自动进行算术参数的图解证明。 Zbl 1009.68110号 马蒂亚·贾姆尼克;阿兰·邦迪;格林，伊恩 1 2002 CCS中方程的规划证明。 Zbl 1034.68646号 劳尔·蒙罗伊;阿兰·邦迪;格林，伊恩 1 2000 普雷斯伯格算法中决策程序的比较。 Zbl 1014.03504号 贾尼契奇，普雷德拉格;格林，伊恩;阿兰·邦迪 1 1997 球面和圆柱赫兹接触中的泊松比效应和临界值。 Zbl 1195.74126号 我是格林。 2 2005 关于自动进行算术参数的图解证明。 兹比尔1009.68110 马蒂亚·贾姆尼克;阿兰·邦迪;格林，伊恩 1 2002 有效利用未能从不同的证明尝试中为造假提供证人的情况。 Zbl 1001.68128号 洛杉矶丹尼斯。;A.邦迪。;我是格林。 1 2000 CCS中方程的规划证明。 Zbl 1034.68646号 劳尔·蒙罗伊;阿兰·邦迪;格林，伊恩 1 2000 关于自动进行算术参数的图解证明。 Zbl 0941.03008号 马蒂亚·贾姆尼克;阿兰·邦迪;格林，伊恩 7 1999 将一类决策过程灵活集成到定理证明器中的框架。 Zbl 0941.68122号 贾尼契奇，普雷德拉格;阿兰·邦迪;格林，伊恩 1 1999 使用泛化批评家为共推证明寻找互模拟。 兹比尔1430.68399 路易斯·丹尼斯;阿兰·邦迪;格林，伊恩 三 1997 普雷斯伯格算法中决策程序的比较。 Zbl 1014.03504号 贾尼契奇，普雷德拉格;格林，伊恩;阿兰·邦迪 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名被27位作者引用 4 马蒂亚·贾姆尼克 2 阿兰·邦迪 2 格林，伊恩 2 马特伊·乌尔巴斯 1 亚历山德罗·阿曼多 1 卡布雷拉（Inma P.Cabrera）。 1 周尚卿 1 巴勃罗·科德罗 1 丹尼斯，路易斯·阿比盖尔 1 高晓山 1 格洛丽亚·古铁雷斯 1 贾尼契奇，普雷德拉格 1 泽农库尔帕 1 延斯·莱曼斯基 1 彼得罗·利奥 1 哈维尔·马丁内斯·德尔·卡斯蒂略 1 何塞·梅塞盖尔·瓜伊塔 1 劳尔·蒙罗伊 1 曼纽尔·奥杰达·阿西戈 1 西尔维奥·兰伊斯 1 格里高·罗什乌 1 安德鲁·舒曼 1 亚伦·斯隆 1 斯台普顿，宝石 1 Van Weerdenburg，穆克J。 1 王，Duo 1 叶，郑 全部的 前5名引用于7个系列 2 自动推理杂志 1 人工智能 1 应用数学与计算 1 符号计算杂志 1 线性代数及应用 1 逻辑、语言与信息杂志 1 泛逻辑 全部的 前5名在7个字段中引用 11 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 一般性和全局性主题；集合（00-XX） 1 有序，格，有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 几何图形（51至XX） 1 数值分析（65-XX） 按年份列出的引文