检索条件: 定理机器证明 ( 题名 )
责任者 刘叙华,姜云飞编著
出版信息 科学出版社 ,1987
ISBN
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
定理机器证明
刘叙华,姜云飞编著.科学出版社,1987.
责任者 张景中,高小山,周咸青
出版信息 科学出版社 ,2015
ISBN 978-7-03-044066-2
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青.科学出版社,2015.
责任者 吴文俊
出版信息 科学出版社 ,1984.08
ISBN 978-7-03-028377-1
几何定理机器证明的基本原理.初等几何部分
吴文俊.科学出版社,1984.08.
责任者 吴文俊著
出版信息 科学出版社 ,1984
几何定理机器证明的基本原理:初等几何部分
吴文俊著.科学出版社,1984.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您