Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy
Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy
复制标题
安德森·哈耶克本体论争议的计算机辅助分析
DOI：
10.1007/s11787-017-0160-9
复制
发表时间：
2017
影响因子：
0.8
通讯作者：
Bruno Woltzenlogel-Paleo
中科院分区：
文献类型：
--
作者：
Christoph Benzmüller;Leon Weber;Bruno Woltzenlogel-Paleo
登录
查看更多内容
PVS 中的本体论论证
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
J. Rushby
通讯作者：
J. Rushby
影响因子：
1
作者：
P. Oppenheimer;E. Zalta
通讯作者：
E. Zalta
DOI：
--
发表时间：
2007
期刊：
International Conference on Theorem Proving in Higher Order Logics
影响因子：
--
作者：
Lawrence Charles Paulson;Kong Woei Susanto
通讯作者：
Kong Woei Susanto
逻辑与有神论：名称索引
DOI：
10.1017/cbo9780511497988
发表时间：
2003
期刊：
J. Appl. Log.
影响因子：
--
作者：
J. Sobel
通讯作者：
J. Sobel
哥德尔本体论论证的不一致：人工智能在形而上学中的成功故事
DOI：
--
发表时间：
2016
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
Christoph Benzmüller;B. W. Paleo
通讯作者：
B. W. Paleo