代数语义

作品数：19被引量：32H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：代飞左卫兵李勇坚于倩郁涌更多>>
相关机构：云南大学华北水利水电大学上海交通大学华东师范大学更多>>
相关期刊：《西北师范大学学报（自然科学版）》《科技资讯》《计算机工程与应用》《电子学报》更多>>
相关基金：国家自然科学基金河南省教育厅自然科学基金河南省教育厅人文社会科学研究项目河南省自然科学基金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
代飞
云南大学软件学院
左卫兵
华北水利水电大学
李勇坚
中国科学院软件研究...
于倩
云南大学软件学院
郁涌
云南大学软件学院
赵娜
云南大学软件学院
相关机构更多
相关主题更多