This book constitutes the joint refereed proceedings of the 10th
International Conference on Artificial Intelligence and Symbolic
Computation, AISC 2010, the 17th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the
9th International Conference on Mathematical Knowledge Management, MKM
2010. All submissions passed through a rigorous review process. From
the 25 papers submitted to AISC 2010, 9 were selected for presentation
at the conference and inclusion in the proceedings volume.
Download Intelligent Computer Mathematics
0 comments:
Post a Comment