![TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS](https://cover.qianqiantushu.cc/99/s69b01c3.jpg)
![TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS](https://cover.qianqiantushu.cc/99/s69b01c3.jpg)
TOWARDS MECHANIZED MATHEMATICAL ASSISTANTSPDF电子书下载
- 电子书积分:14 积分如何计算积分?
- 作 者:
- 出 版 社:SPRINGER-VERLAG
- 出版年份:2007
- ISBN:9783540730835
- 页数:408 页
图书介绍:
《TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS》目录
标签:
相关图书
作者其它书籍