| 名称 | Mathematics mechanization and applications |
| 索引号 | TP18/E20013 |
| 分类号 | TP18 TP18(人工智能理论) TP1(自动化-基础理论) TP(自动化技术计算技术技术) T(工业技术) |
| 作者 | |
| 出版社 | San Diego, Calif. ; London : Academic, 2000. |
| ISBN | |
| 页数 | xix, 551 p. : ill. ; 25 cm. |
| 价格 | |
| 标签 | |
| 简介 | |
| 注解 | English |
| 名称 | Mathematics mechanization and applications |
| 索引号 | TP18/E20013 |
| 分类号 | TP18 TP18(人工智能理论) TP1(自动化-基础理论) TP(自动化技术计算技术技术) T(工业技术) |
| 作者 | |
| 出版社 | San Diego, Calif. ; London : Academic, 2000. |
| ISBN | |
| 页数 | xix, 551 p. : ill. ; 25 cm. |
| 价格 | |
| 标签 | |
| 简介 | |
| 注解 | English |
粤公网安备 44030602003680号