Workshop on Mathematical Logic
Workshop on Mathematical Logic
复制标题
数理逻辑研讨会
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
输入/输出逻辑的目标导向决策过程
DOI：
--
发表时间：
2021
期刊：
--
影响因子：
--
作者：
A. Steen
通讯作者：
A. Steen
通过序列从输入/输出逻辑到条件逻辑 - 使用证明器
DOI：
10.1007/978-3-030-86059-2_9
发表时间：
2021
期刊：
--
影响因子：
--
作者：
Björn Lellmann
通讯作者：
Björn Lellmann
规范系统的证明理论、语义和代数
DOI：
10.1007/978-3-642-40948-6_18
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Xin Sun
通讯作者：
Xin Sun
论道义逻辑的一个基本问题
DOI：
--
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Jörg Hansen
通讯作者：
Jörg Hansen
解析归纳不等式的倾斜规范性
DOI：
10.1145/3460973
发表时间：
2020
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
Laurent De Rudder;A. Palmigiano
通讯作者：
A. Palmigiano