注册 | 登录读书好，好读书，读好书！

当前位置：首页出版图书科学技术自然科学数学王者之路：机器证明及其应用

王者之路：机器证明及其应用

王者之路：机器证明及其应用

定　价：¥15.00

作　者：	吴文俊主编；张景中[等]编著
出版社：	湖南科学技术出版社
丛编项：	攀登计划普及丛书
标　签：	数学理论机器证明

ISBN：	9787535728586	出版时间：	1999-01-01	包装：
开本：	20cm	页数：	195页	字数：

内容简介

暂缺《王者之路：机器证明及其应用》简介

作者简介

暂缺《王者之路：机器证明及其应用》作者简介

图书目录

暂缺《王者之路：机器证明及其应用》目录

本目录推荐