编辑配置文件（在新选项卡中打开） 丹尼尔·基什内尔 合著者距离 作者ID： 基什内尔·达尼尔 发布日期： 丹尼尔·基什内尔 外部链接： MGP公司 已编制索引的文档： 3出版物自2007年以来，包括1本书和1个附加arXiv预打印 合著者： 2位合著者具有2联合出版物 73位合作作者 合著者 1 单一作者 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 Edward N.扎尔塔。 系列 1 符号逻辑述评 1 Berichte aus der Mathematik公司 领域 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3次3文件 引用人▼ 年份▼ 机械化逻辑-形而上学原理在功能类型理论中。 Zbl 1484.03020号 丹尼尔·基什内尔;克里斯托夫·本兹穆勒;Edward N.扎尔塔。 三 2020 机械化形而上学逻辑原理在功能类型理论中。 Zbl 1484.03020号 丹尼尔·基什内尔;克里斯托夫·本兹穆勒;Edward N.扎尔塔。 三 2020 5位作者引用 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 科特诺尔（Aaron J.Cotnoir）。 1 家长Xavier 1 阿里尔·乔纳森·罗菲 1 范德托雷，Leendert W.N。 3篇连载文章中引用 1 人工智能 1 合成 1 应用非经典逻辑杂志 在3个字段中引用 三 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 1 粒子和系统力学（70-XX） 按年份列出的引文