国际科技合作与交流专项项目(2008DFA11940)

作品数：11被引量：63H指数：5
导出分析报告
相关作者：薛锦云石海鹤游珍王昌晶杨乐更多>>
相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院江西农业大学更多>>
相关期刊：《中国科学：信息科学》《计算机与现代化》《武汉大学学报（理学版）》《计算机研究与发展》更多>>
相关主题：PAR方法PAR形式化方法形式化推导规约更多>>
相关领域：自动化与计算机技术农业科学更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
薛锦云
江西师范大学
石海鹤
江西师范大学
游珍
江西师范大学
王昌晶
江西师范大学
杨乐
江西省高等学校农业...
周强强
江西农业大学计算机...
相关机构更多
相关主题更多