检索条件： 高小山 ( 著者 )
责任者 高小山等著
出版信息 科学出版社 ,2006
ISBN 7-03-017862-9
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
方程求解与机器证明：基于MMP的问题求解
高小山等著.科学出版社,2006.
责任者 吕伟臣, 霍言, 高小山编著
出版信息 清华大学出版社 ,2006
ISBN 7-302-12106-0
Delphi 2005入门与提高
吕伟臣, 霍言, 高小山编著.清华大学出版社,2006.
责任者 李邦河, 高小山, 李文林编
出版信息 科学出版社 ,2019
ISBN 978-7-5088-5548-6
吴文俊全集．附卷，回忆与纪念
李邦河, 高小山, 李文林编.科学出版社,2019.
责任者 张景中, 高小山, 周咸青著
出版信息 科学出版社 ,2015
ISBN 978-7-03-044066-2
几何定理机器证明的几何不变量方法
张景中, 高小山, 周咸青著.科学出版社,2015.
责任者 主编姜伯驹 ... [等
出版信息 上海交通大学出版社 ,2016
ISBN 978-7-313-10085-6
吴文俊与中国数学
主编姜伯驹 ... [等.上海交通大学出版社,2016.
责任者 吴文俊著
ISBN 978-7-5088-5554-7
吴文俊全集．数学机械化卷．Ⅴ，Mathematics mechanization．V
吴文俊著.科学出版社,2019.
ISBN 978-7-5088-5551-6
吴文俊全集．数学机械化卷．Mathematics mechanization
ISBN 978-7-5088-5553-0
ISBN 978-7-5088-5550-9
吴文俊全集．数学机械化卷．I，Mathematics mechanization．I
ISBN 978-7-5088-5552-3
吴文俊全集．数学机械化卷．Ⅲ，Mathematics mechanization．Ⅲ：数学机械化
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
