公理语义

作品数：9被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：袁崇义刘小平魏振春韩江洪陆阳更多>>
相关机构：大连理工大学南京大学北京大学合肥工业大学更多>>
相关期刊：《科技资讯》《计算机工程与应用》《计算机科学与探索》《软件学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”国家教育部博士点基金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
袁崇义
北京大学信息科学技...
刘小平
合肥工业大学计算机...
魏振春
合肥工业大学计算机...
韩江洪
合肥工业大学计算机...
陆阳
合肥工业大学计算机...
曲文敬
大连理工大学
相关机构更多
相关主题更多