检索条件： 吴文俊著 ( 著者 )
责任者 吴文俊著
出版信息 科学出版社 ,1984
ISBN
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
几何定理机器证明的基本原理:初等几何部分
吴文俊著.科学出版社,1984.
出版信息 科学出版社 ,1978
可剖形在欧氏空间中的实现问题
吴文俊著.科学出版社,1978.
出版信息 科学出版社 ,2019
ISBN 978-7-5088-5550-9
吴文俊全集．数学机械化卷．I，Mathematics mechanization．I
吴文俊著.科学出版社,2019.
出版信息 龙门书局 ,2019
ISBN 978-7-5088-5558-5
吴文俊全集．拓扑学卷．II，Topology．II
吴文俊著.龙门书局,2019.
责任者 吴文俊
ISBN 978-7-5088-5559-2
吴文俊全集
吴文俊.龙门书局,2019.
ISBN 978-7-5088-5549-3
吴文俊全集．拓扑学卷．IV
出版信息 哈尔滨工业大学出版社 ,2016
ISBN 978-7-5603-5511-5
Menelaus定理
吴文俊.哈尔滨工业大学出版社,2016.
出版信息 科学出版社有限责任公司 ,2010.8
ISBN 978-7-03-028507-2
吴文俊.科学出版社有限责任公司,2010.8.
出版信息 科学出版社 ,2003
ISBN 7-03-010764-0
数学机械化
吴文俊.科学出版社,2003.
出版信息 科学出版社 ,1984.08
ISBN 978-7-03-028377-1
几何定理机器证明的基本原理．初等几何部分
吴文俊.科学出版社,1984.08.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
