大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 吴文俊 的图书(共24本)

数字大师 : 华罗庚 陈省身 吴文俊

0
索取号:K826.11/20122
作者:黄婷、邱德胜、
出版社:北京 : 中国科学技术出版社, 2012

吴文俊论数学机械化 [电子资源]

0
索取号:
作者:
出版社:, 1996

陈省身与中国数学 [电子资源]

0
索取号:
作者:
出版社:, 2007

陈省身与中国数学

0
索取号:K837.126.11/20113
作者:吴文俊 (数学)、葛墨林 (物理)、
出版社:新加坡 : 八方文化创作室, 2007

可剖形在欧氏空间中的实现问题

0
索取号:O189.3/20112
作者:吴文俊、
出版社:北京 : 科学出版社, 1978

几何定理机器证明的基本原理 : 初等几何部分

0
索取号:O18/20105
作者:吴文俊、
出版社:北京 : 科学出版社, 1984

现代数学新进展 : 刘徽数学讨论班报告集

0
索取号:627147
作者:吴文俊、
出版社:合肥 : 安徽科学技术出版社, 1988

A theory of imbedding, immersion, and isotopy of polytopes in a Euclidean space =可剖形在欧氏空间中的实现问题

0
索取号:O189.1/E704
作者:Wu、 Wen-tsün (吴文俊)、
出版社:Peking, Science Press, 1965.

中国图学思想史

0
索取号:TB23-092/20091
作者:刘克明、
出版社:北京 : 科学出版社, 2008

让数学回归中国 : 吴文俊传

0
索取号:K826.11=7/20096
作者:柯琳娟、
出版社:南京 : 江苏人民出版社, 2009

中国数学史大系. 中国古代数学名著《九章算术》

0
索取号:O112/20062
作者:吴文俊、沈康身、
出版社:北京 : 北京师范大学出版社, 1998

现代医学检验仪器导论

0
索取号:TH776/20052
作者:陶义训、吴文俊、
出版社:上海 : 上海科学技术出版社, 2002

东方科学文化的复兴

0
索取号:N091/20048
作者:朱清时、姜岩、
出版社:北京 : 北京科学技术出版社, 2004

数学机械化

0
索取号:O1-0/20043
作者:吴文俊、
出版社:北京 : 科学出版社, 2003

吴文俊之路

0
索取号:757303
作者:胡作玄、石赫、
出版社:上海 : 上海科学技术出版社, 2002

王者之路 : 机器证明及其应用

0
索取号:O1-0/20001
作者:吴文俊、
出版社:长沙 : 湖南科学技术出版社, 1999
最近添加的分类