当前位置:首页 > 其他书籍
Automated Deduction in Geometry 5th International Workshop
Automated Deduction in Geometry 5th International Workshop

Automated Deduction in Geometry 5th International WorkshopPDF电子书下载

其他书籍

  • 电子书积分:10 积分如何计算积分?
  • 作 者:ADG 2004
  • 出 版 社:Springer-Verlag Berlin Heidelberg
  • 出版年份:2006
  • ISBN:354031332X
  • 页数:216 页
图书介绍:
《Automated Deduction in Geometry 5th International Workshop》目录
标签:
返回顶部