检索条件： 吴文俊 ( 著者 )
责任者 吴文俊
出版信息 科学出版社 ,20190001
ISBN 978-7-5088-5553-0
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
吴文俊全集. Ⅳ. 数学机械化卷: 几何定理机器证明的基本原理
吴文俊.科学出版社,20190001.
ISBN 978-7-5088-5560-8
吴文俊全集: 博弈论、代数几何、图的平面嵌入卷
ISBN 978-7-5088-5555-4
吴文俊全集: 数学思想卷
出版信息 龙门书局 ,20190001
ISBN 978-7-5088-5552-3
吴文俊全集. Ⅲ. 数学机械化卷
吴文俊.龙门书局,20190001.
ISBN 978-7-5088-5557-8
吴文俊全集. Ⅲ. 拓扑学卷: 可剖形在欧式空间中的实现问题
出版信息 人民教育出版社 ,19790101
ISBN 0
力学在几何中的一些应用
吴文俊.人民教育出版社,19790101.
出版信息 科学出版社 ,19780101
可剖形在欧氏空间中的实现问题
吴文俊.科学出版社,19780101.
出版信息 人民教育出版社 ,19620101
力学在几何中的一些应用. (4)
吴文俊.人民教育出版社,19620101.
责任者 吴文俊,
出版信息 科学出版社 ,0
几何定理机器证明的基本原理（初等几何部分）
吴文俊,.科学出版社,0.
出版信息 北京大学出版社 ,0
[九章算法]与刘微
吴文俊,.北京大学出版社,0.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
