编辑配置文件(在新选项卡中打开) 保罗·麦德 合著者距离 作者ID: 地中海保罗 发布日期: 保罗·麦德 编入索引的文档: 1出版物自2019年起 合著者: 3位合著者具有1联合出版物 89位合作作者 合著者 0 单作者的 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 阿里·法贾米 1 家长,Xavier 系列 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 1 数理逻辑与基础(03-XX) 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ HOL中的I/O逻辑。 Zbl 1513.03040号 克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长,Xavier 三 2019 HOL中的I/O逻辑。 Zbl 1513.03040号 克里斯托夫·本兹穆勒;阿里·法贾米;保罗·梅德尔;家长,Xavier 三 2019 全部的 前5名10位作者引用 1 Benzmüller、Christoph Ewald 1 安德烈亚·德·多梅尼科 1 阿里·法贾米 1 比约恩·莱尔曼 1 克里希纳·B·马诺卡。 1 亚历山德拉·帕尔米吉亚诺 1 玛蒂亚·帕内蒂尔 1 家长,Xavier 1 范德托雷,Leendert W.N。 1 王晓龙 连载1篇 1 人工智能 在2个字段中引用 2 数理逻辑与基础(03-XX) 2 计算机科学(68至XX) 按年份列出的引文