CSpace
amethodformechanicalgeometrytheoremproving
Tan Hongyan1; Wu Jinzhao2
1996
Source Publicationsystemsscienceandmathematicalscience
ISSN1000-9590
Volume9Issue:4Pages:313
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/43555
Collection中国科学院数学与系统科学研究院
Affiliation1.兰州大学
2.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
Tan Hongyan,Wu Jinzhao. amethodformechanicalgeometrytheoremproving[J]. systemsscienceandmathematicalscience,1996,9(4):313.
APA Tan Hongyan,&Wu Jinzhao.(1996).amethodformechanicalgeometrytheoremproving.systemsscienceandmathematicalscience,9(4),313.
MLA Tan Hongyan,et al."amethodformechanicalgeometrytheoremproving".systemsscienceandmathematicalscience 9.4(1996):313.
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
[Tan Hongyan]'s Articles
[Wu Jinzhao]'s Articles
Baidu academic
Similar articles in Baidu academic
[Tan Hongyan]'s Articles
[Wu Jinzhao]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Tan Hongyan]'s Articles
[Wu Jinzhao]'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.