云南高校图书馆联盟文献共享服务平台- 形式化软件

形式化软件: 作品数：8被引量：12H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：柳青李彤孔兵王黎霞罗海梅更多>>; 相关机构：云南大学中国科学院大学江西师范大学中国科学院软件研究所更多>>; 相关期刊：《计算机工程与应用》《集成电路应用》《计算机研究与发展》《软件学报》更多>>; 相关基金：云南省自然科学基金江西省自然科学基金国家自然科学基金更多>>