机构

• 新疆生态与地理研究所 [1]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [2]

内容类型

• 会议论文 [1]
• 期刊论文 [1]

发表日期

• 2008 [1]
• 2000 [1]

学科主题

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 A new geospatial data model to facilitate geographic data mining and knowledge discovery 会议论文  OAI收割 2008 IEEE International Conference on Systems, Man and Cybernetics, SMC, Singapore, Singapore, 2008 Wang; Tao1; Chen; Xi1; Bao; An-Ming1; Wei-Sheng1 收藏  |  浏览/下载：23/0  |  提交时间：2011/08/23 Data visualization - Computation theory - Computational geometry - Control theory - Cybernetics - Light measurement - Models - Query languages - Three dimensional - Three dimensional computer graphics - Computation capacity - Computational algorithm - Computational geometry algorithms - Data base theory - Data format - Data models - Explosive growth - Geo-database - Geo-spatial data - Geo-spatial database - Geographic data - ITS architecture - Open source - Quantitative analysis - Spatial computing - Spatial data mining - Spatial data model - Spatial database - Structured query languages - Web visualization   A deductive database approach to automated geometry theorem proving and discovering 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2000, 卷号: 25, 期号: 3, 页码: 219-246 作者:  Chou, SC;  Gao, XS;  Zhang, JZ   |  收藏  |  浏览/下载：22/0  |  提交时间：2018/07/30 deductive database  automated geometry theorem proving and discovering  search strategies  redundant deduction  Skolemization  structured database