编辑配置文件（在新选项卡中打开） 布赖恩丹·奥斯·努拉因 合著者距离 作者ID： o-nuallain.brandan公司 发布日期： 布赖恩丹·奥斯·努拉因 已编制索引的文档： 3出版物自1993年起 合著者： 4位合著者具有2联合出版物 148位合作作者 合著者 1 单作者的 1 马尔滕·德·里杰克 1 胡安·赫吉亚贝勒 1 van Benthem，Johan F.A.K。 1 范·艾伊克（Jan van Eijck） 系列 1 IGPL逻辑杂志 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物被引用2中的次2文件 引用人▼ 年份▼ 表推理和动态一阶逻辑编程。 Zbl 0985.03018号 范·艾伊克（Jan van Eijck）;胡安·赫吉亚贝勒;布赖恩丹·奥斯·努拉因 1 2001 基于集合的SAT搜索行为预测。 Zbl 0990.90536号 布赖恩丹·奥斯·努拉因;马尔滕·德·里杰克;约翰·范·本特姆 1 2001 表推理和动态一阶逻辑编程。 Zbl 0985.03018号 范·艾伊克（Jan van Eijck）;胡安·赫吉亚贝勒;布赖恩丹·奥斯·努拉因 1 2001 基于集合的SAT搜索行为预测。 Zbl 0990.90536号 布赖恩丹·奥斯·努拉因;马尔滕·德·里杰克;约翰·范·本特姆 1 2001 4位作者引用 1 戴维·卡塔 1 史蒂文斯·盖尔、西蒙·乔里 1 范·比克（Peter J.L.van Beek）。 1 吴华岳 0连载引用 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文