Realms: A structure for consolidating knowledge about mathematical theories
Carette J, Farmer W, Kohlhase M (2014)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2014
Publisher: Springer Verlag
Pages Range: 252-266
Event location: Coimbra
ISBN: 9783319084336
DOI: 10.1007/978-3-319-08434-3_19
Authors with CRIS profile
Involved external institutions
Canada (CA)How to cite
APA:
Carette, J., Farmer, W., & Kohlhase, M. (2014). Realms: A structure for consolidating knowledge about mathematical theories. In Proceedings of the 2014 International Conference on Intelligent Computer Mathematics, CICM 2014 (pp. 252-266). Coimbra: Springer Verlag.
MLA:
Carette, Jacques, William Farmer, and Michael Kohlhase. "Realms: A structure for consolidating knowledge about mathematical theories." Proceedings of the 2014 International Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra Springer Verlag, 2014. 252-266.
BibTeX: Download