Research

Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings. Vol. 6824 LNAI.


Reference:

Davenport, J. H., Farmer, W., Rabe, F. and Urban, J., eds., 2011. Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings. Vol. 6824 LNAI. Heidelberg: Springer. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

http://dx.doi.org/10.1007/978-3-642-22673-1

Details

Item Type Book/s
EditorsDavenport, J. H., Farmer, W., Rabe, F. and Urban, J.
DOI10.1007/978-3-642-22673-1
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code25483
Additional Information18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011. 18-23 July 2011. Bertinoro, Italy.

Export

Actions (login required)

View Item