CSpace
几何定理机器证明
吴文俊
1992
Source Publication自然科学进展
ISSN1002-008X
Volume002Issue:001Pages:1
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/36648
Collection中国科学院数学与系统科学研究院
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
吴文俊. 几何定理机器证明[J]. 自然科学进展,1992,002(001):1.
APA 吴文俊.(1992).几何定理机器证明.自然科学进展,002(001),1.
MLA 吴文俊."几何定理机器证明".自然科学进展 002.001(1992):1.
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
Baidu academic
Similar articles in Baidu academic
[吴文俊]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[吴文俊]'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.