登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

吴文俊全集 数学机械化卷. Ⅰ Mathematics mechanization. I :Mathematics mechanization: m
出版社：科学出版社
ISBN：9787508855509
出版年：2019
作者：吴文俊
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

吴文俊全集, 数学机械化卷. Ⅱ, Mathematics mechanization. II
  • 作者：吴文俊
  • ISBN：9787508855516
  • 出版社：科学出版社
  • 出版年：2019
...

吴文俊全集, 数学机械化卷. Ⅴ, Mathematics mechanization. V
  • 作者：吴文俊
  • ISBN：9787508855547
  • 出版社：科学出版社
  • 出版年：2019
...

吴文俊全集, 数学机械化卷. Ⅲ, Mathematics mechanization. Ⅲ :数学机械化
  • 作者：吴文俊
  • ISBN：9787508855523
  • 出版社：科学出版社
  • 出版年：2019
...

吴文俊全集, 数学机械化卷. Ⅳ, Mathematics mechanization. IV :几何定理机器证明的
  • 作者：吴文俊
  • ISBN：9787508855530
  • 出版社：科学出版社
  • 出版年：2019
...

The complete works of Wu Wen-tsun, 吴文俊全集, 数学机械化卷. I
  • 作者：Wu,Wen-tsun,
  • ISBN：9787508855509
  • 出版社：北京 : 科学出版社 ; 龙门书局, 2019.
  • 出版年：2019
...

吴文俊论数学机械化
  • 作者：吴文俊
  • ISBN：7532822672
  • 出版社：山东教育出版社
  • 出版年：1996