分享给好友:
Intelligent Computer Mathematics - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence James H Davenport
Intelligent Computer Mathematics - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
James H Davenport
Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a track on Systems and Projects descriptions.
325 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2011年7月18日 |
| ISBN13 | 9783642226724 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 325 |
| 商品尺寸 | 155 × 235 × 18 mm · 476 g |
| 语言 | 法语 |
| 编辑 | Davenport, James H. |
| 编辑 | Farmer, William M. |
| 编辑 | Rabe, Florian |
| 编辑 | Urban, Josef |