期刊文献+

GIS的前景 被引量:4

Proving Programs Correctness by a Generalized mathematical Induction Method
下载PDF
导出
摘要 GIS的前景李德仁,龚健雅,边馥苓本讲为GIS系列讲座的最后一讲,首先分析推动今后GIS飞速发展的主要因素,接着讨论作为地理信息科学的GIS在理论研究和技术发展中,今后的发展趋势和亟待解决的问题。最后再谈谈GIS的发展对相关学科提出的挑战。可以预料,...
出处 《测绘通报》 CSCD 北大核心 1994年第3期30-35,共6页 Bulletin of Surveying and Mapping
关键词 地理信息系统 硬件 软件 programs correctness, testing,generallzed mathematical induction method, well or-dered set,recursive program
  • 相关文献

同被引文献17

引证文献4

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部