检索条件: 数学理论 ( 主题词 )
责任者 吴文俊著
出版信息 科学出版社 ,2019
ISBN 978-7-5088-5553-0
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
吴文俊全集.数学机械化卷.IV,Mathematics mechanization.IV:几何定理机器证明的基本原理
吴文俊著.科学出版社,2019.
责任者 (美)S. 钱德拉塞卡著
出版信息 高等教育出版社 ,2018
ISBN 978-7-04-049097-8
黑洞的数学理论
(美)S. 钱德拉塞卡著.高等教育出版社,2018.
责任者 (法)彭加勒著
出版信息 商务印书馆 ,2017
ISBN 978-7-100-13549-8
最后的沉思
(法)彭加勒著.商务印书馆,2017.
责任者 (美)Alexander Stepanov, (美)Paul McJones著
出版信息 机械工业出版社 ,2012
ISBN 978-7-111-36729-1
编程原本
(美)Alexander Stepanov, (美)Paul McJones著.机械工业出版社,2012.
责任者 (法) 彭加勒著
出版信息 商务印书馆 ,2009.06
ISBN 978-7-100-06200-8
(法) 彭加勒著.商务印书馆,2009.06.
责任者 张鸿林著
出版信息 中国科学技术出版社 ,2006
ISBN 7-5046-4199-5
时空法则:股市数理应用
张鸿林著.中国科学技术出版社,2006.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您