动态逻辑

作品数：74被引量：135H指数：5
导出分析报告
相关领域：自动化与计算机技术哲学宗教更多>>
相关作者：李必信翟小祥陈乔乔李加凯朱敏更多>>
相关机构：东南大学国际商业机器公司中国社会科学院哲学研究所华东师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
李必信
东南大学计算机科学...
翟小祥
东南大学计算机科学...
陈乔乔
东南大学计算机科学...
李加凯
东南大学
朱敏
东南大学
彭海朋
北京邮电大学
相关机构更多
相关主题更多