检索条件: 机器证明-普及读物 ( 主题词 )
责任者 张景中
出版信息 清华大学出版社 ,2000
ISBN 7-81029-930-1
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
计算机怎样解几何题:谈谈自动推理
张景中.清华大学出版社,2000.
责任者 赵宏量
出版信息 西南师范大学出版社 ,2022
ISBN 978-7-5697-0601-7
数学问题与猜想拾趣
赵宏量.西南师范大学出版社,2022.
责任者 柳柏濂
出版信息 科学出版社 ,2014
ISBN 978-7-03-040240-0
剖分和组合:从七巧板到水立方
柳柏濂.科学出版社,2014.
出版信息 中国少年儿童出版社 ,2011
ISBN 978-7-5148-0201-6
数学家的眼光:张景中院士献给中学生的礼物:典藏版
张景中.中国少年儿童出版社,2011.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您