A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

Jacques Calmet, John A. Campbell. A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, editors, 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. Volume 6167 of Lecture Notes in Computer Science, pages 14-18, Springer, 2010. [doi]

Authors

Jacques Calmet

This author has not been identified. Look up 'Jacques Calmet' in Google

John A. Campbell

This author has not been identified. Look up 'John A. Campbell' in Google