Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of PDF电子书下载
- 电子书积分：17 积分如何计算积分？
- 作 者：
- 出 版 社：Springer-Verlag
- 出版年份：2005
- ISBN：3540250514
- 页数：565 页
图书介绍：
《Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of 》目录
标签：
相关图书
作者其它书籍