云南高校图书馆联盟文献共享服务平台- 形式化分析方法

形式化分析方法: 作品数：41被引量：79H指数：5; 导出分析报告; 相关领域：自动化与计算机技术电子电信更多>>; 相关作者：张倩颖关永施智平李黎明李晓娟更多>>; 相关机构：西安电子科技大学首都师范大学苏州大学中国科学院软件研究所更多>>; 相关期刊：《计算机光盘软件与应用》《计算机仿真》《科技资讯》《清华大学学报（自然科学版）》更多>>; 相关基金：国家自然科学基金中国科学院研究生院院长基金国家科技重大专项江苏省高校自然科学研究项目更多>>