当前位置:首页 > 外文
TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS
TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS

TOWARDS MECHANIZED MATHEMATICAL ASSISTANTSPDF电子书下载

外文

  • 电子书积分:14 积分如何计算积分?
  • 作 者:
  • 出 版 社:SPRINGER-VERLAG
  • 出版年份:2007
  • ISBN:9783540730835
  • 页数:408 页
图书介绍:
《TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS》目录
标签:
相关图书
作者其它书籍
    返回顶部