CSpace  > 系统科学研究所
基于前推法的几何信息搜索系统
张景中1; 周咸青2; 高小山3
1996
Source Publication计算机学报
ISSN0254-4164
Volume019Issue:010Pages:721
Abstract我们提出并实现了几何信息搜索系统,它可用于找出所给几何图形的“所有”性质,记GP为一给定的几何谓词之集,LM为涉及GP中谓词的某些几何引理之集。若LM中的引理不引入新的几何元素,则用GISS能找出所有能由LM中引理推出的身体性质。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/38167
Collection系统科学研究所
Affiliation1.广州大学
2.美国维奇塔大学
3.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
张景中,周咸青,高小山. 基于前推法的几何信息搜索系统[J]. 计算机学报,1996,019(010):721.
APA 张景中,周咸青,&高小山.(1996).基于前推法的几何信息搜索系统.计算机学报,019(010),721.
MLA 张景中,et al."基于前推法的几何信息搜索系统".计算机学报 019.010(1996):721.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[张景中]'s Articles
[周咸青]'s Articles
[高小山]'s Articles
Baidu academic
Similar articles in Baidu academic
[张景中]'s Articles
[周咸青]'s Articles
[高小山]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张景中]'s Articles
[周咸青]'s Articles
[高小山]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.