编辑配置文件(在新选项卡中打开) 佩尔泽,比约恩 合著者距离 作者ID: 佩尔泽·比约恩 发布日期: 佩尔泽,比约恩 已编制索引的文档: 8出版物自2007年起 合著者: 8位合著者具有8联合出版物 143位合作作者 全部的 前5名合著者 0 单作者的 5 乌尔里希·富巴赫 三 鲍姆加特纳 2 英戈·格莱克纳 2 克劳迪娅·肖恩 1 马库斯·本德 1 赫尔曼·赫尔比格 1 塞萨尔·蒂内利 1 Christoph Wernhard公司 系列 1 符号计算杂志 1 人工智能通信 1 逻辑与计算杂志 领域 8 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用45中的次24文件 引用人▼ 年份▼ 具有等式的超表格。 Zbl 1213.03019号 鲍姆加特纳;乌尔里希·富巴赫;佩尔泽,比约恩 10 2007 平等模式演变——修订并实施。 Zbl 1258.03020号 鲍姆加特纳;佩尔泽,比约恩;塞萨尔·蒂内利 9 2012 系统描述:E-KRHper。 Zbl 1213.68574号 佩尔泽,比约恩;Christoph Wernhard公司 9 2007 自动推理在自然语言问答中的应用。 Zbl 1205.68360号 乌尔里希·富巴赫;英戈·格莱克纳;佩尔泽,比约恩 6 2010 系统描述:E-KHyper 1.4。唯一名称和描述逻辑的扩展。 Zbl 1381.68258号 马库斯·本德;佩尔泽,比约恩;克劳迪娅·肖恩 6 2013 等式超表演算及其在有限模型计算中的应用。 Zbl 1193.03025号 鲍姆加特纳;乌尔里希·富巴赫;佩尔泽,比约恩 5 2010 系统描述:E-KHyper 1.4。唯一名称和描述逻辑的扩展。 Zbl 1381.68258号 马库斯·本德;佩尔泽,比约恩;克劳迪娅·肖恩 6 2013 平等模式演变——修订并实施。 Zbl 1258.03020号 鲍姆加特纳;佩尔泽,比约恩;塞萨尔·蒂内利 9 2012 自动推理在自然语言问答中的应用。 Zbl 1205.68360号 乌尔里希·富巴赫;因戈Glöckner;佩尔泽,比约恩 6 2010 等式超表演算及其在有限模型计算中的应用。 Zbl 1193.03025号 鲍姆加特纳;乌尔里希·富巴赫;佩尔泽,比约恩 5 2010 具有等式的超表格。 Zbl 1213.03019号 鲍姆加特纳;乌尔里希·富巴赫;佩尔泽,比约恩 10 2007 系统描述:E-KRHper。 Zbl 1213.68574号 佩尔泽,比约恩;Christoph Wernhard公司 9 2007 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 6 乌尔里希·富巴赫 5 玛丽亚·保拉(Maria Paola Bonacina) 三 鲍姆加特纳 三 佩尔泽,比约恩 三 克劳迪娅·肖恩 三 克里斯托夫·韦登巴赫 2 亨德里克·莱丁格 2 大卫·艾伦(David Alan),Plaisted 2 Christoph Wernhard公司 1 彼得·贝克曼 1 沃尔夫冈·比贝尔 1 莫里斯·布吕诺格 1 德卡特,布罗斯 1 英戈·格莱克纳 1 赫尔曼·赫尔比格 1 托马斯·希伦布兰德 1 Cezary卡利西克 1 特蕾莎·克雷默 1 阿列克谢·利西萨(Alexei P.Lisitsa)。 1 尼古拉斯·佩尔蒂埃 1 菲利普·吕默 1 雷娜特·施密特(Renate A.Schmidt)。 1 斯蒂芬·舒尔茨 1 维奥里卡Sofrone-Stokkerman 1 弗里德·斯托尔森堡 1 塞萨尔·蒂内利 1 约瑟夫·乌尔班 1 维斯科基尔 1 莎拉·温克勒 1 克劳斯·皮特·沃思 4篇连载文章中引用 9 自动推理杂志 1 符号计算杂志 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 在3个字段中引用 21 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文