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 |
| Editors | Davenport, J. H., Farmer, W., Rabe, F. and Urban, J. |
| DOI | 10.1007/978-3-642-22673-1 |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 25483 |
| Additional Information | 18th 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 |
