Going Polymorphic - TH1 Reasoning for Leo-III
Going Polymorphic - TH1 Reasoning for Leo-III
复制标题
走向多态——Leo-III 的 TH1 推理
DOI：
10.29007/jgkw
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
C. Benzmüller
中科院分区：
文献类型：
--
作者：
A. Steen;M. Wisniewski;C. Benzmüller
登录
查看更多内容
HOL2P - 具有二阶多态性的经典高阶逻辑系统
DOI：
--
发表时间：
2007
期刊：
International Conference on Theorem Proving in Higher Order Logics
影响因子：
--
作者：
Norbert Völker
通讯作者：
Norbert Völker
高阶逻辑自动化
DOI：
10.1016/b978-0-444-51624-4.50005-8
发表时间：
2014
期刊：
影响因子：
--
作者：
Christoph Benzmüller;Dale Miller
通讯作者：
Dale Miller
通过类型变量的量化扩展 HOL 逻辑
影响因子：
0.8
作者：
T. Melham
通讯作者：
T. Melham
具有类型的 Lambda 演算（逻辑视角）
影响因子：
0.9
作者：
J. Hindley
通讯作者：
J. Hindley
内涵和高阶模态逻辑及其在蒙塔古语义学中的应用
DOI：
10.1111/lnc3.12044
发表时间：
1975
期刊：
Lang. Linguistics Compass
影响因子：
--
作者：
D. Gallin
通讯作者：
D. Gallin