CSpace
数学机械化研究回顾与展望
吴文俊
2008
Source Publication系统科学与数学
ISSN1000-0577
Volume028Issue:008Pages:898
Abstract回顾了脑力劳动机械化思想形成的过程,介绍了数学机械化研究的主要结果,并展望了数学机械化在未来的发展.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/48139
Collection中国科学院数学与系统科学研究院
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
吴文俊. 数学机械化研究回顾与展望[J]. 系统科学与数学,2008,028(008):898.
APA 吴文俊.(2008).数学机械化研究回顾与展望.系统科学与数学,028(008),898.
MLA 吴文俊."数学机械化研究回顾与展望".系统科学与数学 028.008(2008):898.
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.