检索条件： 机器证明 ( 主题词 )
责任者 吴文俊主编
出版信息 湖南科学技术出版社 ,1999
ISBN 7-5357-2858-8
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
王者之路——机器证明及其应用
吴文俊主编.湖南科学技术出版社,1999.
责任者 张伟编著
出版信息 辽宁大学出版社 ,1995
ISBN 978-7-5610-2971-8
符号逻辑与定理机器证明
张伟编著.辽宁大学出版社,1995.
责任者 吴文俊
出版信息 科学出版社 ,20190001
ISBN 978-7-5088-5553-0
吴文俊全集. Ⅳ. 数学机械化卷: 几何定理机器证明的基本原理
吴文俊.科学出版社,20190001.
责任者 吴文俊,
出版信息 科学出版社 ,0
ISBN 0
几何定理机器证明的基本原理（初等几何部分）
吴文俊,.科学出版社,0.
责任者 朱望规
出版信息 国防工业出版社 ,2016
ISBN 978-7-118-10515-5
论初等几何定理的机器证明与消去法
朱望规.国防工业出版社,2016.
责任者 柳柏濂
出版信息 科学出版社 ,20140101
ISBN 978-7-03-040240-0
剖分和组合: 从七巧板到水立方
柳柏濂.科学出版社,20140101.
责任者 张景中,杨路
出版信息 湖南教育出版社 ,2016.10
ISBN 978-7-5539-4393-0
张景中杨路文集
张景中,杨路.湖南教育出版社,2016.10.
责任者 吴鹤龄
出版信息 科学出版社 ,2024.06
ISBN 978-7-03-078673-9
幻方及其他：娱乐数学经典名题
吴鹤龄.科学出版社,2024.06.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
