检索条件: 高小山 ( 著者 )
责任者 高小山
出版信息 科学出版社 ,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-5551-6
吴文俊全集.数学机械化卷.Mathematics mechanization
吴文俊,.科学出版社,2019.
责任者 吴文俊
ISBN 978-7-5088-5553-0
吴文俊.科学出版社,2019.
ISBN 978-7-5088-5552-3
吴文俊全集.数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ:数学机械化
ISBN 978-7-5088-5554-7
吴文俊全集.数学机械化卷.Ⅴ,Mathematics mechanization.V
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您