计算机工程与应用2004,Vol.40Issue(1):12-15,34,5.
拓扑关系形式化描述的基本问题与研究进展
A Survey on the Fundamental Issues and Research Progress of Topological Relations
摘要
关键词
地理信息系统/拓扑关系/形式化方法/形式化模型分类
天文与地球科学引用本文复制引用
邓敏,冯学智,刘文宝..拓扑关系形式化描述的基本问题与研究进展[J].计算机工程与应用,2004,40(1):12-15,34,5.基金项目
国家自然科学基金(编号:49801016,40101022) (编号:49801016,40101022)