- 网络环境下的图书馆信息服务初探
- 1
- 《图书馆学研究》南昌大学计算机与信息学院信息管理系;南昌大学计算机与信息学院图书馆 沈扬 董慕生 出版年：2002
- 关键词：图书馆 信息服务 网络环境 网络信息服务 定源信息服务 网上参考咨询
- PAR方法和循环不变式的范畴语义
- 2
- 《计算机工程与应用》南昌大学计算机信息工程学院信息管理系;江西财经大学信息管理学院;江西师范大学计算机信息工程学院;中国科学院软件研究所计算机科学重点实验室 屈文建 薛锦云 出版年：2009
- 关键词：循环不变式 最小不动点 范畴论 PAR方法
