- 年份
- 2004(1)
- 核心收录
- 中国科学引文数据库(CSCD)(1)
- 中国科技论文与引文数据库(CSTPCD)(1)
- 北京大学中文核心期刊目录(北大核心)(1)
- 刊名
- 计算机工程(1)
- 作者单位
- 华中科技大学(1)
- 语种
- 汉语(1)
- 关键词
- XML数据库(1)
- XML类型系统(1)
- 类型理论(1)
- 逻辑化形式建模(1)
- 更多...
- 作者
- 冯玉才(1)
- 刘丹(1)
- 班鹏新(1)
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 1 条结果
- 基于类型理论的XML类型系统形式化建模北大核心CSCDCSTPCD