搜索:几何定理机器证明的 不变量方法
几何定理机器证明的几何不变量方法
文件大小:36MB 标注页数:318页 文件页数:337页
MD5:9ed671fd680b4b44479af782b08ca88c
ISBN:9787030440662
出版社:北京:科学出版社
作者:张景中,高小山,周咸青著
出版时间:2015
文件大小:36MB 标注页数:318页 文件页数:337页
MD5:9ed671fd680b4b44479af782b08ca88c
ISBN:9787030440662
出版社:北京:科学出版社
作者:张景中,高小山,周咸青著
出版时间:2015