智能计算机数学：第 10 届国际会议，AISC 2010，第 17 届研讨会，Calculemus 2010，以及第 9 届国际会议，MKM 2010，法国巴黎，2010 年 7 月 5-10 日。 电子书下载

原名:Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
作品简介:本书是第十届人工智能与符号计算国际会议（AISC 2010）、第十七届符号计算与机械化推理集成研讨会（Calculemus 2010）和第九届机器学习国际会议的联合评审论文集。……