CSpace  > 系统科学研究所
基于前推法的几何信息搜索系统
张景中1; 周咸青2; 高小山3
1996
发表期刊计算机学报
ISSN0254-4164
卷号019期号:010页码:721
摘要我们提出并实现了几何信息搜索系统,它可用于找出所给几何图形的“所有”性质,记GP为一给定的几何谓词之集,LM为涉及GP中谓词的某些几何引理之集。若LM中的引理不引入新的几何元素,则用GISS能找出所有能由LM中引理推出的身体性质。
语种英语
文献类型期刊论文
条目标识符http://ir.amss.ac.cn/handle/2S8OKBNM/38167
专题系统科学研究所
作者单位1.广州大学
2.美国维奇塔大学
3.中国科学院数学与系统科学研究院
推荐引用方式
GB/T 7714
张景中,周咸青,高小山. 基于前推法的几何信息搜索系统[J]. 计算机学报,1996,019(010):721.
APA 张景中,周咸青,&高小山.(1996).基于前推法的几何信息搜索系统.计算机学报,019(010),721.
MLA 张景中,et al."基于前推法的几何信息搜索系统".计算机学报 019.010(1996):721.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[张景中]的文章
[周咸青]的文章
[高小山]的文章
百度学术
百度学术中相似的文章
[张景中]的文章
[周咸青]的文章
[高小山]的文章
必应学术
必应学术中相似的文章
[张景中]的文章
[周咸青]的文章
[高小山]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。